Why do it via 3rd party if you can just change github.com to github.dev and get 1st party VSCode? Or better yet, just press "." (dot) character on keyboard and VSCode will pop up.

But that is repository search only, of course and not github-wide.

https://docs.github.com/en/codespaces/the-githubdev-web-base...