In the Midi settings window, there are thousands (I am not kidding) of rows in the box “Active MIDI-IN devices”. None of them works. If I add a new device it works. However, because of the huge number of “ghost” devices, opening the Midi settings window takes 10-15 minutes. Is there a way to clear the box “Active MIDI-IN devices”?