[webkit-gtk] dns prefetching knob

[Martin Robinson]

> So is this a request to separate the WebKitWebSettings change and make a
> formal request to merge both changes back into the stable branch?

Yeah, I think that's the best way to go.

--Martin