Microsoft buys TeX :-)