the direbrew remote doesn't work anymore either.

Thanks for all the advice. It didn't happen again today, so hopefully these run ins will be the exception rather than the rule.