Andrea Veri commented:
@szpak, gnome-shell-list will be much likely decommissioned by the end of this month as per #462. I can surely remove the ban if you're required to send an e-mail there before the list is removed.
