fix: expand \n abbreviation as \n, not ¬#671

mhuisi merged 1 commit intoleanprover:masterleanprover/vscode-lean4:masterfrom

mhuisi:mhuisi/newline-abbreviationmhuisi/vscode-lean4:mhuisi/newline-abbreviationCopy head branch name to clipboard