Files
devstar_introduction/node_modules/shiki/dist/langs/lean4.d.mts