I am trying to create my own admin bot that can handle a lot of the admin stuff, such as muting users... Currently I can mute users by tagging/replying to their message, but I also want to be able to mute a user by @mentioning (such as @Netsu) them, but how do I get a users ID via their username? I don't see any way to get it from the API, or did I just miss it?
If you are interested, I'm using Nim + Telebot.