chiark / gitweb /
Remove some fixed items from TODO