Upstream Pencil Hover
<rdar://problem/88513609>
Pull request: https://github.com/WebKit/WebKit/pull/5825
Committed 256074@main (9856bc8b7566): <https://commits.webkit.org/256074@main> Reviewed commits have been landed. Closing PR #5825 and removing active labels.