chiark / gitweb /
git-debrebase: move some todo/notes to NOTES