Gnome extensions duplicates flooding?

[fblais]

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

Thanks in advance for taking care.

[dschinn-de]

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