add search feature which only gives results from players (not bots)

for example, I just tried to find someone recommending me an anime and I had forgotten both the player name and that of the anime, so I just searched for "anime". probably the whole first page and more were results from bots with anime-related commands.

so my suggestion is, allow the user to choose whether they want to see all search results, or just those from real people (or who knows, maybe the other way around: just those from bots).

this kind of overlaps with the role search suggestion from Bitz (https://support.discordapp.com/hc/en-us/community/posts/360039162132-Role-Search), as most servers created a Bot role. whether you add this as a separate search option like I suggested, or it is semi-added along with that one, I'd be happy with either.