Removes deleted extension from list

Removes deleted extension from sorted_extension_list