The main export of the Rust/WASM library is just a function which outputs LaTeX; it should be pretty doable to add a button to the website which does what you'r

The main export of the Rust/WASM library is just a function which outputs LaTeX; it should be pretty doable to add a button to the website which does what you're asking. I think I'll just add a checkbox to set whether it actually renders or not.