Was trying to run RoboRumble today and it seemed like it was down for a week or so. Is there any alternative to download participants' bots nowadays?
