Ooof, my Internet went out for a few hours there, I almost resigned to going to bed and updating in
the morning instead. But as luck would have it Internet returned just now before I turned in for the night! An hour late, but
that's not too bad!