I want to target extension developers and maintainers of extensions. So possibly mostly outside people, therefore "gnome" should be part of the list name. andré is right as well, but gnome-shell-extensions-dev-list is quite a mouthful. So I'd rather live with the odd bug report (which might even be useful to find out about unmaintained extensions). So making contact with the devs saying "we've been contacted here, you might want to join this list." Gnome-shell-extensions-list would be best then, I think.