[pull] main from microsoft:main#412

pull[bot] merged 3 commits intocode:maincode/app-vscode:mainfrom

microsoft:mainmicrosoft/vscode:mainCopy head branch name to clipboard