Gregory's ServerMIDI, General MIDI and MIDI FILES are three different concepts that most people usually confuse for each other.
This is a collection of MIDI files, probably using the General MIDI instrument set definition, but MIDI itself is not involved when someone plays one of these files on their computer.
A bit confusing, I know...