The file format that it downloads (.syx) is a MIDI sysex or system-exclusive message file (https://www.midi.org/specifications-old/item/table-4-univers...). These are basically scripts of MIDI instructions that exist outside the regular note on-off messages, and can be used for a variety of things, in this case programming a patch in the DX7’s synthesis engine.