That's going to make them less competitive in my opinion, although it's an understandable move considering their size. I am wondering about the timing though - now that HTML5 is finally a standard and browser developers can stabilize their rendering instead of playing catch-up with the latest draft features, it's a bit late to switch. They would have benefited more by switching 2-3 years ago.