Ja, es war aber so, dass plötzlich lauter Addons, die auf dem Desktop weiterhin funktionierten, nicht mehr auf der Android-Version liefen. Das hat zum Teil wirklich Jahre gebraucht, bis wieder alle Addons funktioniert haben.