chiark / gitweb /
reorder TODO a bit