Hey, sorry for not getting back sooner. We had a service interruption for our patch server yesterday. As you noted, everything is back to normal now. Sorry about the interruption.