[tor-commits] [tor/master] Clean up formatting of tor.1 man page and HTML doc