So shocked to learn about this sad news. What a big loss of FT community and the world we live in. RIP, Mike!
Mike is one of the FTers that I've never met in person but I feel like I knew him well from reading his helpful posts. You'll be dearly missed, cordelli!