This list is moved to https://lists.robocup.org/listinfo/robocup-junior