gettor@torproject.org should be changed to gettor@gettor.torproject.org in documentation
From #8888 (moved):
Both addresses (gettor@tpo and gettor@gettor.tpo) were listed in different places on torproject.org:
gettor @ torproject.org GetTor page ( https://www.torproject.org/projects/gettor.html.en)
gettor @ torproject.org Short user manual ( https://www.torproject.org/dist/manual/short-user-manual_en.xhtml)
gettor @ gettor.torproject.org Tor FAQ ( https://www.torproject.org/docs/faq.html.en#GetTor).
The correct address is gettor@gettor.tpo, so we should change all places in the documentation that state something else.