chiark / gitweb /
remove some obsolete comments