Add report-with-Tor-only option to Preferences