chiark / gitweb /
slip: Remove an incorrect XXX comment