chiark / gitweb /
numbered-alias-sheet: remove some now-unneeded gsaves