Remove long deprecated files.

It seems like these files were renamed to remove them from the documentation
build because they were no longer relevant.  They no longer build as part
of our documentation and haven't done so for over a decade, perhaps longer.
This commit removes them permanently.

Author: gonuke