Google hat eine kleine, aber merkliche Verbesserung für den Pixel-Launcher eingeführt, die das Starten von Apps beschleunigt.