so it turns out the guide on how to play midi files on linux was incomplete. it seems vlc for ubuntu-like distros doesnt come with fluidsynth built into it, you have to install it yourself. anyway that's been fixed now (edit: it turns out neocities has a comment limit? and i've reached it, so see you tomorrow i guess.)