My guess is that something with the devio.us server made it difficult for me to update this site’s WordPress software to version 3.8. I failed in a number of attempts in the past month or so. But today I was able to do the update, and now this site is fully patched.
I suspect that the devio.us admins made a change/fix. However it happened, it’s nice to have an up-to-date WordPress installation.