I worked with Mihai (remotely) on the developer tools team when I first joined Mozilla about five years ago. He was one of the most incredibly passionate developers I've ever had the pleasure of working with, and he had an enormous impact on the quality of the developer tools in Firefox. If you've ever used the developer tools, chances are you've interacted with his code; he had a front and center role in the console and was one of the key reasons why Firefox developer tools went from zero to world-class in just a few short years.

This is a very sad moment for everyone. Thanks for everything you did, Mihai.