vscode-dotty display improvement and coursier update#5123

smarter merged 2 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:hide-ide-errorsdotty-staging/dotty:hide-ide-errorsCopy head branch name to clipboard