As I was digging thru this I noticed that the extension.gnome.org site was down. It's backup up now and I also once again have entries in my extension manager.
Marking this as solved.
Marking this as solved.
Statistics: Posted by NakedRider — 2025-01-26 23:58