Lots of ex-Microsoft people are doing Linux code