Note: Notes are kept in the file notes.org in the meta/notes branch.