Publish the pygls-playground extension to the VSCode marketplace?

[alcarney]

What are your thoughts on publishing the pygls-playground extension to the VSCode marketplace as an official extension under the openlawlibrary namespace?

It certainly would simplify the setup instructions as people wouldn't need to clone the repo and build it from source themselves.

I'd also be willing to upstream the WASI parts of vscode-wasi-pygls if there was interest as there's probably not much point in maintaining 2 extensions that are almost identical! 😅

[tombh]

I'm afraid I don't know anything about VSCode extensions. It definitely sounds like a good idea though! If the openlawlibrary name is involved then it'd be good to have input from @dgreisen.

From Open Law Library's perspective is there any reason to think why the wouldn't want to associate their name this way?