Ah OK, ich habe die Lösung tatsächlich gefunden. Es scheint, dass es vor 2 Tagen eine Regression gab, die gestern behoben wurde, aber diese Korrektur wurde nach dem letzten ./launcher rebuild app, das ich gestern durchgeführt habe, zusammengeführt.
Ich habe einen weiteren Rebuild durchgeführt und es ist behoben. Es könnte sich lohnen, diesen Bericht zu belassen, falls andere das gleiche Problem haben, bis zum nächsten Rebuild. Dies würde wahrscheinlich nur Benutzer betreffen, die eine Version von Data Explorer vom 7./8. Februar ausführen. Ich hatte hier einfach Pech, ich habe DE gestern Mittag (GMT) installiert.