Ubuntu 24 switched from libwebkit2gtk-4.0 to libwebkit2gtk-4.1...

[moeller0]

Resulting in the GUI not starting up anymore with an:
dsl-gui: error while loading shared libraries: libwebkit2-4.0.so.37: cannot open shared object file: No such file or directory

Now, that clearly is Ubuntu's fault, but there is no legacy libwebkit2-4.0.so.37 for Ubuntu24 that can be easily installed so this issue might come up more often in the future. Any idea how to best handle that?

[janh]

There are now additional builds using GTK4 and WebKitGTK 6.0.
Hopefully, this is enough to support all distributions that no longer include WebKit2GTK 4.0.