chiark / gitweb /
server/admin: New ALGS command.