#6394: Something weird is going on with webkitgtk4