I should have waited for things to settle down, but I didn't. I went ahead and installed Mac OS X Mavericks. You know how this goes, you have to reboot your computer ...