I’m hoping such a minor documentation fix does not require to follow the whole process described at https://twistedmatrix.com/trac/wiki/TwistedDevelopment#SubmittingaPatch. Otherwise, please let me know.

@Gallaecio It does - or at least the parts that are relevant. You don't have to make test changes or lint changes if you didn't add code :).

You happen to have submitted the same day that I do my once-every-six-months scan of the PR list, but generally Twisted maintainers check https://twisted.reviews/ to see what needs doing (Github does not have the ability for submitters add labels, or request reviews, so tracking the state that Trac currently does for us requires a bot, which nobody has yet set up.)

Thanks for your contribution to Twisted!