Hi everyone,
This naming discussion is happening in multiple locations. Some places I’m aware of include:
- vscode on Slack
- Github: Name ideas · Issue #1528 · julia-vscode/julia-vscode · GitHub
- Here
On Slack, David mentioned:
We will not change the name of the extension itself in the marketplace, we would probably change the name of the publisher and call the overall effort this new name. We would also use that name in things like discourse forum etc. But the extension in the marketplace itself would still just be called Julia.
So they are not looking for a name of the extension, but rather a name for the organization that publishes the extension.
With that in mind, why not just move the VS Code extension to JuliaIDE · GitHub and keep the name as it is?
[Edit: II actually think it is perfectly fine the way it is though and not sure any name change (extension or org) is necessary.]