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