Just discovered that sfplay~ can now open mp3 files (maybe it was the case with the previous version…) but it's documented nowhere. Inconsistently sfinfo~ doesn't!