They were probably leaving anyway. They didn't work for Tesla or SpaceX but twitter. Musks takeover was sudden, so people disliking him had no time to properly quit. What they're doing now is below petty at the minimum though.