I didn't know that it isn't allowed? VS Codium even endorses downloading the files from there and installing them in Codium. Is this against their TOS or something?