Android: Raise priority of user-chosen restoring of tabs.