And, when that happens, it almost never really catches up. So, if Google ditches Chrome OS for Android, something has to give ...