Made my first PR to @jeffalo’s Ocular that handles ScratchDB network errors!