Users need to be able to control which gateways they use, at the very least. This implies control over gateway discovery mechanisms (the ability to turn them off).
The preferences exist, but there's still no UI. To alter them today one must shut down the browser (or at least switch profiles), find the Preferences file in your profile, and edit its JSON.
Users need to be able to control which gateways they use, at the very least. This implies control over gateway discovery mechanisms (the ability to turn them off).