Andrea Veri commented:
@bertob went with tools.design.gnome.org instead, all should be there by now, thanks!