Integration of the HTML rendering engine WebKit