Noticia ¿Cómo se hace? Añadir más categorías de aplicaciones al dash de Gnome 3.10