`editor.action.showDefinitionPreviewHover` (Hover or `Ctrl+K` type information) much slower than it should be.

[MathiasSven]

When you ask for an inferred type via one of Agda: Infer Type (simplified, normalised, instantiated) the information is given to you almost instantly, I assume all it does is query the cache, however when hovering the mouse or doing Ctrl+K on the symbol to show the type, that process takes a long time