1 October 2019 - I’ve made some technical changes to my website. A practical consequence is that urls have changed. The old urls should be redirected to the new ones, but if you run into something that doesn’t work, I’d appreciate it if you let me know!