Thanks for the wiki link. As the tracks are admittedly “freely available” and have been released to the public domain, might it not be easier to include them in the distribution?
In the meantime, and as I cannot seem to find them (and I’m sure others struggle too), could you kindly link to a zip or provide a precise search term that will bring up a zip of the MP3 files named correctly. I don’t think many people can bear to rename 50 files if the precise zip already exists.
Thanks a million!