My lecture notes don't belong in github.