Remove some unused names and deduplicate with InspectorOverlay.
<rdar://problem/109995750>
Pull request: https://github.com/WebKit/WebKit/pull/14472
Committed 264741@main (ff8e8bd01072): <https://commits.webkit.org/264741@main> Reviewed commits have been landed. Closing PR #14472 and removing active labels.