I just wanted to confirm that .psf files and .minipsf files, as well as .seq and .vh files can all be “extracted” with VGMTrans. .psf/minipsf files contain both the sequences and the soundfonts. So PS1 games and any other game that uses these formats can be MIDI-fied very easily.