Sync platform-ext changes from feature-cloud-mode#525

kaje94 wants to merge 2 commits intowso2:mainwso2/vscode-extensions:mainfrom

kaje94:sync-main-with-devant-platformkaje94/vscode-extensions:sync-main-with-devant-platformCopy head branch name to clipboard