Oops.  I thought I had stashed these files.