EdoArad comments on [PR FAQ] Tagging users in posts and comments