Removing references to “Thanx”; renaming some files.