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?