I misread this and got excited thinking IE was going to drop Trident in favor of Gecko, in the same way Opera is switching to Webkit.