Here we go: new web site. It’s now largely written in markdown and rendered with Jekyll. The page is on GitHub. These changes allow me to include a blog with informative posts such as this one. So, dear reader, brace yourself.