He quit because of optics (understandably, Linux people didn’t like a Microsoft employee making software that was in almost every distro), but he still works with Microsoft and other Microsoft employees