Changes the user-mention URL to the user's profile page
Versión del día 21/07/2021. Echa un vistazo a la versión más reciente.
A continuación se muestran las versiones de este script en las que se actualizó el código. Ver todas las versiones.
