These are files that have been contributed by various people.  I will
not guarantee that these will not melt down your system.  For the most
part, I haven't even tried them to see if they work.

It is possible that the GIF and WAV files are not in the public domain.
I have no clue.  If you do know that one of these are copyrighted, let
me know and I'll remove it from the distribution.
