[PD] https://puredata.info/ is down (was: pdinfo.com is down)