See I thought that, but then in the putatively aspirational section it says > 5,600+ TypeScript files from VSCode's source, ported and adapted which doesn't r

See I thought that, but then in the putatively aspirational section it says > 5,600+ TypeScript files from VSCode's source, ported and adapted which doesn't really make sense as a goal?