...
This was related to an earlied fix of https://bugs.webkit.org/show_bug.cgi?id=147561 that is no longer relevant.