[riadd]

Thanks! I used https://buzz.jaysalvat.com/ and converted all our raw .wavs to mp3 and ogg with python using ffmpeg. I should probably add that the post as well.

[riadd]

Added this to the blog post as well. Thanks for the note!