50c623494e
Let's go with a simpler manifest since soon it will be built on a better machine (our CI server) and to make scripts simpler. Note that I also removed the old webkitgtk dependency, but actually I realize the GNOME runtime does not have the new dependency as well, since the runtime actually has a webkit2gtk-4.0 instead. We'll have to look into this.