Can you add an option to filter annotation comments by @mention - For example, a user had an @mention in an annotation comment on a proof – she got the email that told her, she clicked the link in the email and it took it to this proof. That all works fine. Her issue is there are 24 annotation comments she has to sort through to find the one she was mentioned in. We tried to filter it by user who left the comment (Tessa) but that took it from 24 to 13. So not ideal to still click through 13 comments looking for the one with her @ mentioned. If there was a way for a user to filter those comments by @mention of their name, that would be very helpful.