Should mentioning a user in a rich text field currently do anything? In 2024.9.5, I can @mention users in rich text fields, but no notifications happen. Do I need to write a workflow to detect mentions and create the notification or is that supposed to be happening natively?