chiark / gitweb /
Remove dead lines in various places