Was trying to access: http://puredata.info/docs/LibrariesInPdExtended
no luck.
and no luck with ping either:
pedro@io:~$ ping puredata.info PING puredata.info (193.170.191.182) 56(84) bytes of data. --- puredata.info ping statistics --- 126 packets transmitted, 0 received, 100% packet loss, time 125517ms