Updated Web MIDI API link (they moved to GitHub)