Hey, cool page! If you're curious and wanna do some digging, I essentially curated my midi page from these big collections: https://archive.org/details/TheGeocitiesMidiCollectionVersion1.2 / https://archive.org/details/130000-pop-rock-classical-videogame-edm-midi-archive-6-19-15