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.