chiark / gitweb /
remove a few comments in file headers