The Web MIDI API, developed by the W3C Audio WG