I love discord's search function. As a moderator of a larger server, this tool is invaluable. As a moderator dealing with some very smart trolls I am often forced to use user ID because of various issues with unicode characters in user names.
My post here is about how I don't seem to be able to use user ID in the search function. I havent yet tried on my pc, stuck on mobile today. As far as I can tell <#####example#####> doesn't work with the from: search function like it works with mentions. Anyway I would love this feature so here is my suggestion!
Couldn't decide if this was api or chat, hopefully it doesn't belong in mobile. :p