install instructions for pdk via caravel_user_project are failing today because opencircuitdesign.com is not accessible

Sorry, everything is FUBAR around here. Somebody down the road decided to take out a telephone pole and cut power to the whole area for an hour. My server would have remained up and running except that I found out that my backup battery had died. After the power came back on after an hour, I turned the server back on and went to bed, but only found out in the morning that it stalled on the boot process and was waiting all night for me to press the F1 key. . .

Cloud instances are cheap nowadays 🙂