The blog post was written in February; according to a post on the Mozilla developer-tools mailing list, he died a few days ago. https://groups.google.com/forum

The blog post was written in February; according to a post on the Mozilla developer-tools mailing list, he died a few days ago. https://groups.google.com/forum/#!topic/mozilla.dev.developer-tools/0-oC_YwPq3U https://groups.google.com/forum/#!topic/mozilla.dev.develope...