Thank you for working on this. I would just like to add that I looked very hard for this key and was unable to locate it anywhere on the internet. Really I could only use this to look for it: 7A02B3521DC75C542BA015456AFEE6D49E92B601. Including a means to acquire the key on the download page or another location would be very helpful. I know most people don't verify their downloads but there are a few of us out there that do :)
I copied "How to verify TB signature" entry and updated to "how to verify tor source code". You can preview how it looks like here: https://gus.pages.torproject.net/support/tor/verify-tor-source/ . Note: I still need to update the workaround link to nickm's key.
Moved "apt" and "rpm" sections into /tor. I believe with this new section, we can add little-t-tor manual, 'how to torify' and other little-t-tor docs!
If we decide to go ahead, we will need to create redirects and update the docs in the other portals (e.g. Tor relay guide).