Changes the user-mention URL to the user's profile page
Per 22-07-2021. Zie de nieuwste versie.
Dit zijn versies van het script waarin de code is bijgewerkt. Alle versies tonen.
