chiark / gitweb /
manager: simplify startup of special targets