[garlinx]

yo lo estoy usando para cambiar la configuración de los números de iconos en carpetas, escritorio y también puedes añadir más iconos al dock , para mi muy útil porque así ya no uso launchers de terceros