[horde] Horde PEAR channel broken?

[horde_test_user]

Is "pear.horde.org" down?


Discovering channel pear.horde.org over http:// failed with message:
channel-add: Cannot open "http://pear.horde.org/channel.xml" (Connection to
`pear.horde.org:80' failed: Connection timed out)
Trying to discover channel pear.horde.org over https:// instead
Discovery of channel "pear.horde.org" failed (channel-add: Cannot open
"https://pear.horde.org/channel.xml" (Connection to `pear.horde.org:443'
failed: Connection timed out))