Comment by joewalker

I'm the author of the blog post. I've updated it to add that Mihai died recently.