Some MIDI players may not always correctly handle tempo changes in the
midi output.
+Changes to @code{midiInstrument} (and other MIDI options) at the
+beginning of a staff may appear twice in the MIDI output.
+
@node MIDI Instruments
@subsection MIDI Instruments