I think they gave like $100k as a donation, which is great. But they were demanding WPE I think for around 32 million a year or something nuts. You could argue PHP is way more important to WordPress than WPE is.