Gnome extensions duplicates flooding?

What’s going on with stefan22 - Gnome-look.org ?
Dozens of duplicates posted in the last hours.

Thanks in advance for taking care.

Thanks for the info. We’ll take a look at it.