@Kurt die Überlegung wäre, dass dann im Hauptprofil nur die System-Apps + #Fdroid wären (die kein #MicroG brauchen) und im "Arbeitprofil" nur die (sehr wenigen) propritären (zB Spiele).
Dann hätte man #MicroG aus dem Hauptprofil und den wichtigen Apps raus @norbert@JegCreativity