notes.html is from ~/R/Stan/notes.md