[tor-commits] [tor/master] man: Note that relay now ignore the DirPort option