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