Made all files show up.

OK, I finally did it, but I had to delete my local copy of this
repository, re-clone it, and then re-download the offending file into
my reset local copy of this repository!  (Sheesh!)