とりあえず作者に報告しといた
oggはmp3やaacよりも音質がいいし扱いやすいからAndroidでは理想的なファイル形式だとは思う
本命はopusなのかもしれないけどジェットオーディオで再生するには拡張子をoggにする必要があるから
結局oggが重要なんだよな