it downloads <10MiB of data, the largest thing being a 5.2MiB wasm of wavcity

exporting as mp3 doesn't even require another download, and it doesn't do anything serverside

some tracking down tells us one "adam hilss" is responsible for this

all i can imagine is that wasm must be way, WAY cooler than i thought. (and i already thought wasm was great!)

speculation:

• audacity uses a teensy part of ffmpeg, and most of it is inlined and pruned away
• wasm can be optimized for smaller binary sizes, which is a bigger concern for webdev?
• wasm can somehow link to ffmpeg if it's already on a host machine. (probably not the case, can't imagine this not breaking a sandbox)