rename notes.tex -> procedure-notes.tex