sometimes I can't read the hovers in VS Code

Stream: lean4

[Kevin Buzzard]

cantreadinfoview1.png
If I hover over the tactic state, hoping to see information about the types of the mk on each side of the equality in the goal, I get
cantreadinfoview.png
and I can't see the top of the pop-up, which is the bit I want to see. Am I doing it wrong?

[Wojciech Nawrocki]

You are doing everything right, this is an issue that has not been fixed yet: vscode-lean4#210