But I may be wrong, frankly there aren't many details in the news (for someone working with coporate IT). They do name Linux but together with PostgreSQL databases, which makes me think they consider switching their infrastructure to Linux (and I guess probably dump vmware too). Changing users clients OSes seems like a bigger undertaking.