Andrea Veri commented:
Closing as there's no business for the GNOME Infrastructure on this task anymore. Thanks!