receivedTime is introduced to have a fine-grained DOMHighResTimeStamp.
This is because DOMTimeStamp does not have enough resolution to handle real time MIDI events.
But, now Event.timeStamp is DOMHighResTimeStamp. We do not need to have it any more.
The spec is discussed at https://github.com/WebAudio/web-midi-api/issues/145
Comment 1 by toyoshim@chromium.org
, Jun 21 2016