The docs just say "To get the Telegram user ID, you can read the following variable: {{ event.tags.user["telegram:id"] }}" and I have 0 ideas as to what it means