Course notes, compiled to HTML and PDF