So it would be possible to choose another update service easily. It would be nice to have this setting in "system configuration" as well.