chiark / gitweb /
numbered-alias-sheet: fix -T