Until July 2005, www.irishtunes.net had a collection of Irish tunes.
There seems to have been no evidence of who put these tunes online,
or why the collection went away. I happened to have a copy of the
large file with all of the tunes, so I put it here. If this file
belongs to you, let me know what I should do with it. Otherwise
I'll just leave it here.