Did Microsoft rig PenguinMark to make IE10 look better?