title: Get Discord user ID from username
body: <p>If I have a user's Discord name and discriminator as a string (e.g <code>ExampleUser#1234</code>) how can I get their user ID from it? I've found <code>get_user(id)</code>, but that returns a user object from an ID. I'm using Python and Discord.py.</p>