Ten New Things in WebKit 3