Ah OK, ho trovato la soluzione. Sembra che ci sia stata una regressione 2 giorni fa che è stata corretta ieri, ma quella correzione è stata unita poche ore dopo l’ultimo ./launcher rebuild app che ho eseguito ieri.
Ho eseguito un’altra rebuild e ora è risolto. Potrebbe valere la pena lasciare questo report nel caso in cui altri abbiano lo stesso problema tra ora e la prossima volta che eseguiranno la rebuild. Probabilmente interesserebbe solo gli utenti che eseguivano una versione di Data Explorer del 7/8 febbraio. Sono stato solo sfortunato, ho installato il DE ieri a pranzo (GMT).