On Thu, Sep 6, 2018 at 4:35 AM, Michael Gratton <mike at vee.net> wrote: > I've seen https://bugs.webkit.org/show_bug.cgi?id=157793, but is > there any know work-around? I can't think of any workaround. I think we just need to fix it. Michael