chiark / gitweb /
Document some current bugs and add to the TODO list.