[tor-commits] [check/master] Remove stray option.