chiark / gitweb /
manager: no need to use randomized generator dir when running as system manager