RephistTrackTime missing from the man page

Title says it all. The man page on the site [1] is missing: BridgePassword, NoPublish, RephistTrackTime, RunTesting, V3AuthUseLegacyKey

most of these are obsolete options, but according to arma RephistTrackTime isn't, and related to karsten's work. Cheers! -Damian

[1] https://www.torproject.org/docs/tor-manual.html