[Github] User-mention to profile page

Changes the user-mention URL to the user's profile page

יש גרסאות של סקריפט זה עם קוד מעודכן. הצג את כל הגרסאות