adds options_ui to Android.
It’s marked ‘verified fixed’ in Fx56 but it needs reopening. I don’t have authority to do that AFAICS. Or maybe I misunderstand the process, Can somebody take with that authority take a look?
Time is running out to get this done by Fx56.