Hey Magnus! Can you try again now? There was a small DNS outage around that time (https://phabricator.wikimedia.org/T124680) and could probably be related.