chiark / gitweb /
manager: serialize/deserialize startup time, too