[tor-commits] [tor/master] Add missing man page option from #4483 (35bbf2e4)