$userID
Retrieves a user ID based on a provided username.
$userID[username]
Usage: This function searches for a user within the server and returns their unique ID.
Example:
!!exec $userID[Mika]
Output:
787695068306866198
Warning
Important: The user data is retrieved from the server's cache. This means the information might not be completely up-to-date if all guild members haven't been fully cached. Complete caching is typically only available on tier 5 servers.