Tooltip parent container is not removed when EditorView is destroyed

[kiootic]

Describe the issue

When EditorView is created & destroyed repeatedly, with a tooltip parent element located outside the editor element, the tooltip container element is not removed when the EditorView is destroyed.

---

Reproduction code:

import {basicSetup, EditorView} from "codemirror"
import {tooltips} from '@codemirror/view';

let view;
setInterval(() => {
  view?.destroy();
  view = new EditorView({
    doc: "console.log('hello')\n",
    extensions: [basicSetup, tooltips({parent: document.body})],
    parent: document.body
  });
}, 1000);

Observe that the number of tooltip container elements keep increasing in the document body.

Browser and platform

No response

Reproduction link

https://codemirror.net/try/?c=aW1wb3J0IHtiYXNpY1NldHVwLCBFZGl0b3JWaWV3fSBmcm9tICJjb2RlbWlycm9yIgppbXBvcnQge3Rvb2x0aXBzfSBmcm9tICdAY29kZW1pcnJvci92aWV3JzsKCmxldCB2aWV3OwpzZXRJbnRlcnZhbCgoKSA9PiB7CiAgdmlldz8uZGVzdHJveSgpOwogIHZpZXcgPSBuZXcgRWRpdG9yVmlldyh7CiAgICBkb2M6ICJjb25zb2xlLmxvZygnaGVsbG8nKVxuIiwKICAgIGV4dGVuc2lvbnM6IFtiYXNpY1NldHVwLCB0b29sdGlwcyh7cGFyZW50OiBkb2N1bWVudC5ib2R5fSldLAogICAgcGFyZW50OiBkb2N1bWVudC5ib2R5CiAgfSk7Cn0sIDEwMDApOwo=

[marijnh]

This patch should help with this.