Blog update: our Wordpress didn't want to cooperate today, so we're just redirecting the blog to Github instead ...