Remove the Web MIDI API dependency?

[notator]

May 2024,: The AssistantPerformer no longer uses MIDI InputDevices, and the ResidentSynth has been permanently installed, so the AssistantPerformer could do without the Web MIDI API altogether.
(The ResidentSynth implements the Web MIDI OutputDevice API itself using the Web Audio API.)

Removing the Web MIDI dependency would avoid the complications that arise when browsers ask permission to use the system´s installed MIDI devices. But it would also mean doing without third-party plugin synthesizers such as the VirtualMIDISynth.