The current search function enables us to filter comments made by team members, but it does not allow filtering for comments that specifically @mention a team member. Enabling a feature to first view all comments made by OR to a specific team member, followed by a more refined filtering process, would be extremely useful.