Readthedocs failures

[gvanrossum]

Lately I've been getting a fair number of emails from readthedocs indicating a docs build failure. I have lost the skill to figure out how to unsubscribe from these, and I'm not sure if anyone else is getting them. The most recent one I got links here: https://readthedocs.org/projects/mypy/builds/15139657/

[sobolevn]

Looks like it is fixed now by #11419

Latest build at the moment: https://readthedocs.org/projects/mypy/builds/15143406/

[hauntsaninja]

I think you and possibly Jukka are the only people who get these. The good news is we were able to fix without needing admin access to RTD! (see #11412 and #11419)

[gvanrossum]

Indeed, currently it's just Jukka and me. If any of you create an account on RtD and tell me the username here (apparently it's not tied to GitHub), I'll give you admin permissions.

[hauntsaninja]

My RTD username is hauntsaninja, thank you!

[gvanrossum]

My RTD username is hauntsaninja, thank you!

Added!