[tor-commits] [tor/master] Tidy or_options_t by removing obsolete options.