We now only open MIDI by default on non-Web platforms. On web, there is
an extra button to open MIDI devices. This allows us to no longer pester
users with the "allow MIDI" popup when they don't want to use MIDI.
If MIDI devices have been opened, the multiplayer part of this project
now uses it as well, in the same way the "singleplayer" part does it.