Makes working with Web MIDI more palatable.