Those songs were scavenged from the internet, as I never had the musical skill to make them.

I used https://cifkao.github.io/html-midi-player/ to get MIDI working in modern browsers, though it seems less reliable than an adlib synth.