Can't reach www.openbsd.org

[Ari Constancio]

Hello,

I can't reach www.openbsd.org (from 3 locations in Portugal).
Is www.openbsd.org down?

$ telnet www.openbsd.org 80
Trying 142.244.12.42...
telnet: Unable to connect to remote host: No route to host

Thanks,
Ari Constancio