re: #536 HappyWarrior
The redactor of documents wasn’t very good at their job, so we do know her name.