I just used audacity and the recomended wav format from playdate docs
Ah right! I was hoping you’d found some clever way of squashing the audio files down further 😅
