Users who don't have a github login are instructed to report issues to docs@python.org. I meant to do some triaging before converting the mails to GH issues, but always had something more important to ...