I played with web2js a couple of years ago. TeX ends up being a 500kb WASM file (88kb gzipped). The LaTeX format file or the memory image after LaTeX is loaded

I played with web2js a couple of years ago. TeX ends up being a 500kb WASM file (88kb gzipped). The LaTeX format file or the memory image after LaTeX is loaded are a bit bigger though (2.3 MB and 6.3MB gzipped, respectively).