doc/development.org: a file of notes