spec: https://webaudio.github.io/web-midi-api/
suggested_reviewers:
  - cwilso
