tools can be both free software and proprietary at the same time: the github CLI is one such example. VS code is another. these work primarily (or only) with closed, proprietary service platforms.
@sneak really how so? Vscodium seems to work pretty well, and from a dev tool perspective it's wayyyyyyyyyyy better than a fully proprietary toolset.
