Это классический случай «всё хорошо, пока не становится плохо» — люди паникуют, когда обновление в интерфейсе не удаётся, и не знают, что нужно выполнить git pull; ./launcher rebuild app, чтобы обойти проблему. Мне кажется, это происходит каждый раз, когда вносится изменение, делающее обновление GUI неактуальным. Так случилось и на этот раз:
Мне кажется, эта паника подчёркивает ценность наличия последовательного, стандартного механизма обновлений, который позволяет избежать подобного опыта.
В то же время я столкнулся с ещё одним, тоже редким случаем: запуск (bootstrap) ломает работающую систему. Обновления с почти нулевым временем простоя иногда дают сбои подобным образом, возможно, один-два раза в год в среднем? Поэтому не делайте задержку между этапами bootstrap и destroy/start.
Мне стоит обновить текст, чтобы это стало понятнее, поэтому я займусь этим следующим.