Updated: names

All the names that are already in `names_etc` are not removed.