GNOME Do, el genial lanzador de aplicaciones y dock de iconos que ya es imprescindible para muchos usuarios del entorno de escritorio GNOME, sigue ...