chiark / gitweb /
Remove obsolete WIP script