okay, so sometimes nvim just hangs for me, which I assume has something to do with the Coq integration I'm using. how would I go about figuring out what's going on, so that I could fix the issue? there ought to be some kind of debugging tool that'd make light work out of this kind of issue, right?
1