Changes the user-mention URL to the user's profile page
Version au 22/07/2021. Voir la dernière version.
Voici les versions de ce script où le code a été modifié. Voir toutes les versions.
