Darin mentioned the latter name offhand and that seems much more logical.
<rdar://problem/110048833>
Pull request: https://github.com/WebKit/WebKit/pull/14531
Committed 264748@main (3539f609da3d): <https://commits.webkit.org/264748@main> Reviewed commits have been landed. Closing PR #14531 and removing active labels.