[tor-commits] [tor/master] #21720: Update "directory server options" preamble in manpage