I changed the visual theme of this blog (feed reader users ahoy) and “officially” discontinued my old blog, the contents of which will be migrated here at some point. Also, the RSS feed for this blog is now available via FeedBurner.