[RoboCup-sim] Re: Discord server for the 3D simulation league