If we waited for the background updater (and they actually updated),
skip the user-update processing.