Slash commands User option allow every user

[itohatweb]

Currently the Application Command Option Type User only allows you to select users you share a server with. I think it would be better if it allows you to provide any user.

Why:
There is the API endpoint GET /users/$id this endpoint allows you to get every user without any limitation.
Also I think its better for some commands eg /ban currently bot devs have to add a different option like user-id which takes a string when you want to ban someone you don't share a server with but this would make the user option optional which is not soo nice for ux imo.

[devsnek]

the user type accepts an id

[itohatweb]

Isn't it like this when you specify an id of an user who you don't share a server with that it errors? One of my users reported this problem 🤔