Copy and paste in Arduino IDE in "Additional boards manager URLs"