It would be useful to have access to the full user object, which would also include the user's Telegram ID number. (I'm not requesting you do this; just logging that it would be useful. I might handle it at some point.)