Thanks
_______________________________________________ gnome-web-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-web-list
just as an FYI because I didn't see anything about it yet.
extensions.gnome.org is down at the moment.
