Resend activation link

in event Введение в Coq: формальные методы и зависимые типы, Часть VIII