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