As part of the RoboCup IT infrastructure changes, we have been given a new space under the robocup.org domain. We will be progressively updating this page. New content will be added over time and we will try to complete the transition before RoboCup 2019!