chiark / gitweb /
manager: tell correctly if the manager is booting