[rerdavies]

And the C++ extensions, which are licensed for use only with VSCode.(No, I don't know what bullshit is being avoided either; just sayin' -- the C++ extension presumably will not work with VSCodium either).