Removed: more obsolete files.