[tor-commits] [tor] branch main updated: Update doc/man/tor.1.txt