Lazy Leptos: WASM code splitting for fun and profit [video]