chiark / gitweb /
update RELEASE-NOTES + TODO