The editors' drafts of the Web MIDI API specification have moved; they are now available on GitHub. Please update your references.