Hi!
There was another issue involving those servers less than 2 weeks ago…
re:
That time it was not an error 500, they were apparently not apparently responding…
They were apparently not down at the time either so maybe it’s some sort of routing, firewalling (or load balancing?) problem which is not affecting everyone…
Have a nice day!
Nick