title: How do I mention a user in discord.py?
body: <p>I'm trying to code a simple bot using discord.py, so I started with the fun commands to get familiar with the library.</p>
  <pre><code>import discord
  
  client = discord.Client()
  
  @client.event
  async def on_message(message):
      # we do not want the bot to reply to itself
      if message.author == client.user:
          return
  
      if message.content.startswith('!hug'):
          await message.channel.send(f&quot;hugs {message.author.mention}&quot;)
  
      if message.content.startswith('!best'):
          user_id = &quot;201909896357216256&quot;
          user_mention = ???  # How to convert user_id into a mention
          await message.channel.send(f'{user_mention} is the best')
  </code></pre>