Hello Jekyll, goodbye WordPress Oct 7, 2018 The previous, WordPress based, instance of this blog did not survive the server maintenance. Most of the content has been migrated here, to GitHub Pages. Sorry for the inconvenience.