Remove confusingly obsolete files.