Here\'s the thing: I\'m learning a little about developing extensions for VSCode and, in the current project (to get more experience on the VSCode, basically), the extension