chiark / gitweb /
remove some todo items which are done