History doc/notes.texi