They are using a mirror, which is working fine provided you use the correct URL (which is wrong in their example).