HTML midi-player element – Play and display MIDI files on the web | Hacker News Reader