network-manager: use mirror://gnome