Spent the evening updating my WordPress installation. I had a few moments of worrying, when I navigated to the home page and nothing came up. Turns out that during the uploading of new files, the old themes were deleted. Once I logged into the admin side and reassigned a theme, things were back to normal. Yah!
I’ve another mental note to make: don’t put blankets and other bedding in the washer after nine on a work night.