It's a bit hard to tell, but this isn't open source (well, assuming we all don't consider wasm source :)), right? I got as far as "powered by cheerpx", which l

It's a bit hard to tell, but this isn't open source (well, assuming we all don't consider wasm source :)), right? I got as far as "powered by cheerpx", which leads me here: https://leaningtech.com/webvm/ https://leaningtech.com/webvm/ And I'm also guessing that you guys just allow free use of the compiled wasm for demos such as this?