[tor-commits] [tor/master] dos: Man page entry for DoS mitigation