A brief note: I’ve switched back to WordPress from the wiki and have started using Markdown, hence all the strange characters you’ll find in some posts. I’m cleaning them up slowly. Expect to see some new content soon. Cheers, and happy new year!