There seems to be a file size limit for midi files. The largest midi file I’ve been able to successfully load is about 4KB. Should Playdate be able to load larger midi files? Or is that the limit? If it’s the limit, documentation would be nice. I didn’t see any documentation about that.