Fix header level + align header name with the one coming from "Get info for diagnostics"#2074

baronfel merged 1 commit intoionide:mainionide/ionide-vscode-fsharp:mainfrom

MangelMaxime:patch-3MangelMaxime/ionide-vscode-fsharp:patch-3Copy head branch name to clipboard