The PRD is online again!
The installation of the PRD on www.c2.org was successful. The URL of the actual version of the PRD is now:
http://www.c2.org/~prd