Docs: Add usage of the Agoric VS Code extension

[danBamikiya]

@cboydstun please take a look

cc: @dckc

[dckc]

For context, note Agoric/agoric-sdk#5156 . I wonder why that's still open.

[dckc]

I'd like input from some other folks.

[dckc]

I wonder if "official" is how we should describe it. That might suggest that it's supported by the Agoric engineering team, and I'm not sure we're there yet.

In particular, Agoric/agoric-sdk#6419 seems to be outstanding and is out for a bounty rather than being in the engineering queue.

[danBamikiya]

@dckc thanks for the review. Agoric/agoric#5156 is already completed and should be closed I think (cc: @jeetraut).

also, Agoric/agoric-sdk#6419 has long been completed and the bounty has been paid too, so I guess it should be closed too (cc: @cboydstun).

I used the word "official" to describe it because there's already another extension on the VS Code marketplace (and registry) with the description "agoric sdk install" and it has some downloads already. So, to not confuse users on which to download, I thought "official" would better describe it.

and "official" also suggests that the extension is maintained, which I do, I published the version 1.0.7 of the Agoric Extension today to both the VS Code Registry and the Open VSX Registry, this recent version converts the extension into a "Workspace Extension" from a "UI Extension" allowing the extension to also be downloadable and run on both Gitpod and GitHub Codespaces platform, supporting more users! 🎉

---

Agoric Extension running on Gitpod:

---

Agoric Extension running on GitHub Codespaces:

Side Note:
Agoric Extension as seen on the Open VSX Registry that allows it to be downloaded on Gitpod:

we could go for another description though.

[dckc]

wow! very nice work!

[danBamikiya]

thanks! 🥳

[arirubinstein]

For this to be "official", we would need to own the extension and the Agoric namespace in the VSCode store, so in the mean time I'm ok with referring to it as a community resource.

[danBamikiya]

@dckc I have removed the 'official' description as adviced by @arirubinstein

[ivanlei]

While the extension is quite cool, these docs target an developer audience familiar working with node & installing dependencies. This extension is most helpful for a different audience.

I think for developers whose workflow includes project specific VS Code plugins, this is a nice solve, and can be found searching agoric on the VC code extension marketplace - https://marketplace.visualstudio.com/search?term=agoric&target=VSCode&category=All%20categories&sortBy=Relevance