On a school robotics discord server