gnome 2 Internacionalización de una extensión GNOME Oct 17, 2025 Creando IP INFO BAR: Mi extensión para Gnome Oct 14, 2025