An auction to get the Telegram username @tvbot is in progress.