brian-cox servers

@ProfBrianCox Did you do it manually, or did you SSH in?