chiark / gitweb /
Remove some now-unneeded compat symlinks