[Draft] Excessive goal requests

Jim: When scrolling up and down the document, a lot of goals requests are going to coq-lsp, and I wonder if it's too many requests, especially when coq-lsp is busy thinking about something. Also I'm not quite sure why this request is necessary, at least why it is necessary multiple times.