Update `gitpod-web` extension name#20911

mustard-mh wants to merge 2 commits intomaingitpod-io/gitpod:mainfrom

mustard-mh-patch-1gitpod-io/gitpod:mustard-mh-patch-1Copy head branch name to clipboard