yelp: Use webkit2gtk-4.0 ABI

yelp was our only package using the webkit2gtk-4.1 ABI, which inflated
the NixOS GNOME ISO with an extra flavor of webkit2gtk.

Fixes part of #159612.

Signed-off-by: Anders Kaseorg <andersk@mit.edu>

pkgs/desktops/gnome/core/yelp/default.nix

@@ -2,7 +2,7 @@
 , stdenv
 , gettext
 , fetchurl
-, webkitgtk_4_1
+, webkitgtk
 , pkg-config
 , gtk3
 , glib
@@ -34,7 +34,7 @@ stdenv.mkDerivation rec {
   buildInputs = [
     gtk3
     glib
-    webkitgtk_4_1
+    webkitgtk
     sqlite
     libxml2
     libxslt
@@ -44,6 +44,10 @@ stdenv.mkDerivation rec {
     gst_all_1.gst-plugins-good
   ];
 
+  # To reduce the GNOME ISO closure size.  Remove when other packages
+  # are using webkit2gtk_4_1.
+  configureFlags = ["--with-webkit2gtk-4-0"];
+
   passthru = {
     updateScript = gnome.updateScript {
       packageName = "yelp";