Ah OK, en realidad creo que he encontrado la solución. Parece que hubo una regresión hace 2 días que se corrigió ayer, pero esa corrección se fusionó unas horas después de la última ./launcher rebuild app que hice ayer.
He hecho otra reconstrucción y está arreglado. Podría valer la pena dejar este informe en su lugar en caso de que otros tengan el mismo problema entre ahora y la próxima vez que reconstruyan. Probablemente solo afectaría a los usuarios que ejecutaban una versión de Data Explorer del 7 u 8 de febrero. Tuve mala suerte aquí, instalé el DE ayer al mediodía (GMT).
Para recapitular: Solución: ./launcher rebuild app