What plays Midi (*.mid) files? Edit-Preferences-Content in Firefox doesn't seem to give me an option of which player to use. I don't find anything in movie player, either, and if Rhythmbox plays 'em, I don't see it.

It's probably right under my nose, but . . .