archive_midi_player Play MIDI files located on the Internet Archive. The current version relies on https://www.midijs.net/