Hi, following Valorie's suggestion, we created a Telegram group for all the non- IRC users (or who is forced to use an IRC-blocking connection, such as eduroam). Join at: https://telegram.me/joinchat/024ff15801eb91e37365172cf0400b33 Bye, -Riccardo