[Bug 406402] New: "skip automatic repo refresh"-button is useless