At the moment the user has to press Ctrl (or a different modifier key if changed in settings) to bring up the hover tooltip. We could allow specifying a delay as an alternative/additional activation method. This is how it is implemented in VScode I think.

Sketch for setting chema:

"delay": {
  "title": "Hover delay",
  "type": ["number", "null"],
  "default": 300,
  "