The text 02f2c18c3b44, as Debian 4.0 (Etch) shipped it.
unregister a midi device
unregister_sound_midi(9) on Linux now