chiark / gitweb /
manager: remove "debugging" "feature"