The textfiles.com guy works at the Internet Archive.
Upload it anyway so we can find it easier!
FAQ
Where do these files come from?
They were uploaded to archive.org by thousands of different users.
Think of this site as a partial mirror of select archive.org items, extracted and presented with a different interface.
I get that, but if you can't find it with a normal search on archive.org it's worth uploading for a dedicated page and a few details.
I'm setting up my own retro lab atm and would love to use this but the only way I'll ever find it is by coming back to this thread and hunting for it. I guess I'll upload it myself when I get to it.
DiscMaster is showing data about things uploaded to archive.org, from what I’ve understood
DiscMaster actually searches inside all the ISO and other image files (not only by filenames, but also content of the files), which archive.org doesn't.
DiscMaster can also search within archives by filename or content of the file! So if you knew the name of a theme that might have been another route.