I want to make a replacement for the OEIS's "listen" feature for sequences, which produces MIDI files server-side.

My plan is to have this play any sequence you give it using the Web Audio API. At the moment it plays A062756.