Ах, хорошо, я, кажется, нашёл решение. Похоже, два дня назад возникла регрессия, которую исправили вчера, но этот фикс был слит всего за несколько часов после того, как я вчера выполнил ./launcher rebuild app.
Я выполнил ещё одну сборку, и проблема устранена. Возможно, стоит оставить этот отчёт в силе на случай, если у других возникнет та же проблема между сейчас и следующим обновлением. Скорее всего, это затронет только тех, кто использовал версию Data Explorer от 7/8 февраля. Мне просто не повезло: я установил DE вчера в обед (GMT).