I came here to say this. There's so many things wrong with it:
1. If a user left the server, you can no longer specifically search for stuff they posted.
2. Even if a user is still in the server, it can still be hard to search for stuff they posted because Discord search seems to only sometimes know about all the current users.
3. It breaks if you search for something with a lot of hits, and try to go back to the first page (i.e. the earliest hits). For example it's not possible for me to jump to my first message in some servers.
4. Can't search within specific threads
5. Something about how the text search works itself has bothered me in the past, but I can't find a good example of what's wrong with it at the moment.
1. If a user left the server, you can no longer specifically search for stuff they posted.
2. Even if a user is still in the server, it can still be hard to search for stuff they posted because Discord search seems to only sometimes know about all the current users.
3. It breaks if you search for something with a lot of hits, and try to go back to the first page (i.e. the earliest hits). For example it's not possible for me to jump to my first message in some servers.
4. Can't search within specific threads
5. Something about how the text search works itself has bothered me in the past, but I can't find a good example of what's wrong with it at the moment.