chiark / gitweb /
Correctly tokenize output to admin clients.