I wonder if it is too late to send this bug report: Page A350, line 30 uses "he" to refer to "someone", which of source excludes women and nonbinary people. Of course, if it is too late, this has to wait for the 2029 tuneup.