[tor-commits] [tor/master] man: Move RephistTrackTime to the server section