The hardware node Vern was rebooted for emergency maintenance. We will keep this thread updated further.