Delete some files that have been obsolete and never used for many, many years now.