Firefox 80: HTTPS-only Mode in Settings