chiark / gitweb /
packaging: remove evidently-uneeded file