http://www.htdp.org/ is down

http://www.htdp.org/ is going to be down for some amount of time.
The servers at Brown which host it are having “issues”.