Per discussion over at https://lists.webkit.org/pipermail/webkit-dev/2023-April/thread.html#32525 this seems like an acceptable change.
<rdar://problem/108892673>
Pull request: https://github.com/WebKit/WebKit/pull/13441
Committed 263710@main (ec437900002d): <https://commits.webkit.org/263710@main> Reviewed commits have been landed. Closing PR #13441 and removing active labels.