Thanks
_______________________________________________ gnome-web-list mailing list gnome-web-list@gnome.org 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.
