chiark / gitweb /
[PATCH] update TODO with some new, small items.