vscode 2019-06-16

Or, rather, any particular reason to choose that? Asking because generally GPL can make people a bit worried…

I chose it to ensure that no one can sell a closed source version of my code.

Since the extension is a tool rather than a library that gets embedded in an app, the worrisome “infectious” GPL properties don’t apply.

Yeah, makes sense.