Возьмём в пример ваши никнеймы, которые представлены в вопросе:
Допустим, @navalny4 действительно является Алексеем Навальным, и он решил пройти верификацию своего аккаунта. После успешного прохождения пользователю предлагают сменить ник-нейм на более подходящий/запоминающийся/узнаваемый, в данном случае это @navalny. Как они это делают, если @navalny уже существовал до этого?
Есть два варианта развития событий:
Если на аккаунте нет никаких публикаций, то бишь аккаунт пустышка его попросту удалят.
Если аккаунт имеет активность, на нём публикуются фотографии, видеоролики, истории, то вместо ник-нейма @navalny он получит @navalny4.
Вроде бы всё внятно объяснил, если появятся дополнительные вопросы - прошу вас в комментарии :)