safe place for me to play with coq-lsp code without bothering the folks working on it
the infoview is the enemy of mankind. it takes up valuable real estate that could be used to do other useful things like looking at another file in parallel
while it would take an immense amount of brain capacity to learn how the code base works i thonk it's worthwhile. im thonking about displaying hypotheses and goals along with the code using inlay hints