chiark / gitweb /
Improve debug and chat notation for cmd messages