build: rely on webkit via devhelp

This helps with systems where 4.0 is not yet available.
Such as Debian unstable.
editor: match the rest of default gnome and use 11 as default pt.