Make highlighted types selectable and copyable

We need a change in VSCode to allow that. I opened a PR and Issue there: https://github.com/microsoft/vscode/issues/180496 any other ideas will be welcomed