On branch master: latest updates of notes.
Merge branch 'master' of https://github.com/huther/personal_projects