ppx展開のことならMiniのextraフォルダ>ppexcliフォルダ内に展開したいppxファイルを入れてppex_unpack.batにドラッグ＆ドロップ
最近のMiniならppexcliフォルダに移動せず直接ドラッグ＆ドロップしても展開できるかもしれない