This website is built with two technical tools: the Hugo static website generator and the org-mode exporter for Hugo. The site content is (mostly!) written in the org-mode syntax, using the Emacs text editor. When I need to make changes, I change the source code, export to Hugo, and then sync the changed web pages to a webserver. This sounds complicated but actually it’s extremely easy.

The source text and some initial documentation are online at Github. Please feel free to file any questions about the course as issues (unless you’re a student in the course, in which case please ask me through the official channels!).