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
--
Pedro Lopes (MSc)
contact:
pedro.lopes@ist.utl.pt
website:
http://web.ist.utl.pt/Pedro.Lopes