to-do:
- fold lines to 80 columns in notes.md of each lecture