I guess they had a problem and improvised with another server, on another port then.
I'll wait a little in case they change back to port 80, it may be a temporary situation.