[tor-commits] [tor/master] man: Document default values if not in the consensus for DoS mitigation