Gracias a todos. No caí en copiarme la fuente antes de pasarme de ROM, pero ya la he encontrado aunque lo suyo me ha costado XD
Y aprovecho para recomendar la Android Revolution HD Google Edition. Rápida como ella sola, y con un launcher como Apex que también es eficaz y no consume en exceso, sigue siendo muy rápida y personalizable gracias al launcher(al ser GPE es sosa)