Pyrefly extension not supported for VSCode "browser" mode (vscode.dev) #2240
Description
Describe the Bug
TIL if you use VSCode Web in the browser (e.g. such as when you use . to open a GitHub file in the web ui) it's not possible to install the Pyrefly extension there. It looks like it might be something we could configure from a quick skim of the docs.
I'm not sure how many VSCode users frequently use VSCode Web, or how complicated it would be to implement
cc @kinto0