VS code intellisense boxes have gotten less useful

Stream: general

[Eric Wieser]

Instead of showing me the full signature, my info boxes when hovering over a lemma name now show:

Provider: jroesch.lean

score: 80, compared 'list.prod_range_succ' with 'list.prod_'
distance: 0, see localityBonus-setting
index: 92, based on sortText: "list.prod_range_succ"

instead of actually showing the signature I care about. Have I toggled a setting by accident?

[Bryan Gin-ge Chen]

See https://leanprover.zulipchat.com/#narrow/stream/113489-new-members/topic/VS.20code.20settings/near/182561922

[Eric Wieser]

Thanks - the shortcut is shared with "comment out"!