[all-permissions] Add web MIDI API and fix notifications callback.

Yeah, I noticed that when I tested it. Unfortunately, even if `"default"` is added, it's still inconsistent with the callback mechanisms for the other APIs. :-(