chiark / gitweb /
numbered-alias-sheet: wip for output, debugging