3 ms·End of an open source era: Linux pioneer Munich confirms switch to Windows 101 points by Xunxi 9y ago