si son esos.yo pondria el launcher 4.5 es mas nuevo y lo tengo adapatado al dock de criskelo,eso si despues de instalar tienes que configurarlo para dejarlo bonito desde menu/notificaciones.
me alegra verte por aqui paisano.
ya sabes que cualquier duda que tengas pues preguntas
saludos