[tor-commits] [tor/master] Clean up the doc/HACKING/* docs a bit.