Cambiar el nombre a las aplicaciones en Gnome-globalmenú