I haven't checked, but I would not be surprised if the engineers I'm talking about have left too at this point. I worked on a homomorphic encryption system for some insurance companies to be able to query each others claim data with them, fun project!