Doing this with chunking is not a pleasant experience since you need to filter by name and discriminator on top of having to wait for the gateway response. It would be amazing if we could retrieve users by the discord tag directly, similar to how we can retrieve them by id—the same for getting members.

This would be extremely useful for many bots that accept discord tags as input. Currently, you have to use chunking queries and filter them.