Fixing a panic in text_changes::get_deleted_names

Created by  pmeunier  on January 19, 2022
V5KA7K5NBMWPUXLXXUUOJRNNEN3Z6GNP435AUHRYVWJUYRSHBKLQC
Change contents