Vorschläge, einen offensichtlich für Firefox OS (noch) nicht zu habenden Dateimanager (bei den Androids gibts einen abgespeckten TotalCommander, den ich auch ansonsten seit rund 20 Jahren benutze ...) durch irgendwas anderes zu ersetzen, sind mir sehr willkommen.
