OK, Codex ist zurück und stabil und wir sollten eine Weile gut sein. Reset-Knopf gedrückt, sollte es in Kürze sichtbar sein.