Super, das hätte ich ohne Deine Hilfe nicht gefunden. Vielen Dank!
Als Android-Anfänger habe ich im Zusammenhang mit "Neustart" von FF eine Frage: reicht im FF-Menü > Beenden? Wenn ich auf dem Telefon den Task-Manager (das Quadrat) aufrufe, ist danach FF nämlich immer noch zu sehen. :-??