I'm afraid that I'm stuck for now. I have asked the WebKit developers for help: https://lists.webkit.org/pipermail/webkit-dev/2020-April/031184.html
Best, Jack
I'm afraid that I'm stuck for now. I have asked the WebKit developers for help: https://lists.webkit.org/pipermail/webkit-dev/2020-April/031184.html
Best, Jack