Following a software problem on several machines, many servers simultaneously requested a migration to another machine.

The process is automatic, though unfortunately it took some time, given the rather large number of servers that was involved.

Nevertheless, a few servers still remain problematic; they have been identified by our network administrators, who are rebooting them one at a time. Please accept our apologies for any inconvenience this may cause.