The Web MIDI API specification defines a means for web developers to enumerate, manipulate and access MIDI devices