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