As an update, in looking at the code it seems they hardcode the choice of MP3 for storage in the server. Also very weird that they serve the tarball of MP3s gz

As an update, in looking at the code it seems they hardcode the choice of MP3 for storage in the server. Also very weird that they serve the tarball of MP3s gzipped, which seems mostly pointless to me, as it amounts to a reduction of maybe ~4% for a tremendous amount of time spent uncompressing the tarball (which itself has a bunch of useless macOS-specific headers, three apiece on each file). Many of the MP3 files are literally just empty (zero size) or partially written (corrupt), it seems. I wonder if that issue comes from their choice to package the tarballs on macOS, or some underlying issue on the server side.