title: Does the html5 audio tag encompass .mid (MIDI) unofficially?
body: <p>It seems clear that officially the html5 audio tag is intended for use with the ogg format. </p>
  
  <p>Does the html5 audio tag encompass .mid (MIDI) unofficially?</p>