Fix the folding ranges by letting the server send the ranges contained in Proof. [...] Qed. Or Proof. [...] Admit..
See: https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#textDocument_foldingRange