Is the number crunching running fully locally via WASM? Or is it more of a websocket pushing commands thru to the backend type setup? I'm guessing the latter because of how fast the S3 import was but the former would be super interesting as well. Great demo!