chiark / gitweb /
Removed some unused comments.