Que en los comentarios con menciones, tras una edición, se vuelva a notificar al mencionado

Cuando hago un comentario a una noticia o una nota y cito a alguien (bien con la #, bien con la @) esa persona lee el comentario.

Más adelante, en el tiempo de edición, decido modificar o añadir algo, pero el usuario citado no vuelve a ser notificado y no tengo la garantía de que lee la edición.

Quizás esta nueva notificación se debería hacer en todo caso o solo si hay una variación significativa en los caracteres escritos inicialmente. Por ejemplo, si edito para poner una tilde no es menester volver a notificar, pero si añado un nuevo enlace o escribo un párrafo más sí que merece la pena. En última instancia se puede habilitar un checkbox en la ventana de edición para dejar al usuario la opción de volver a notificar la mención.