Darn it. I should have procrastinated longer. Just a few minutes after I did the fixes described in the previous post, I read the new release announcement in the dashboard. The upgrade went smoothly in all three blogs in our domain. I didn’t even have to deactivate the plugins (not intentional – it’s just that I forgot to deactivate them before deleting my files and uploading the new release.)