chiark / gitweb /
bin: Remove some scripts I no longer use (they used to be part of the