It has become customary for Google’s Android operating system to give new versions sweet-sounding codenames, and it appears that this practice will continue with the upcoming edition, which will be referred to as Android 15. Recent sources suggest that “Vanilla ...