Closed
Description
The proofstate contains HTML for styling different terms. But these aren't supported in nvim, for example, so it would be nice to have an option to turn off the HTML generation. Ideally we could check the client capabilities, but lsp-types
doesn't currently have support. haskell/lsp#329