Jorge, Robin, the Whales and Games Team and the discord channel, wish you all a happy holidays season and a superb new year! It’s still somewhat early for that, but it’s never too soon to wish you the best, is it?