Translation of Gnome Extensions at extensions.gnome.org

[Matej Urbančič <mateju src gnome org>]

Hello,

I can't find any threads about that and I'm wondering if there was ever a debate regarding translation of gnome extensions. I mean those gathered at https://extensions.gnome.org/, not merely the package gnome-extensions. There are many many usefull, but momentarily cramp the UI.

There could be a agregating category, similar to gnome circle.

Is that possible?

Thanks,

Matej