Dump of all notes taken so far
Nicer filenames
Add SYAC notes taken on paper
Add POPL notes taken on paper
Add VIGR notes taken on paper