add search option: role

We can only look up the mentions of users right now. I’d like to suggest that Discord add the option to search pings by role.  

i.e., Currently, members can pull the following;  

from: user / mentions: user / has: link, embed, or file / before: specific date / during: specific date / after: specific date / in: channel / pinned: true of false 

With my suggestion, this information would be available: 

mentions: user, role 

For example, in a server where I am a zine artist / moderator, I wish to see when the last @for profit role was pinged. If this feature is approved, it would allow me to filter out all entries that were not pinged @for profit. 

I have seen similar requests under roles search, but thought to explain what I want further. Please deliberate and consider this suggestion with your team at your earliest convenience. Thank you for reading.