Is that possible? I didn't realise that :-( If that's the case, I'll have to rework the patch to ignore the actual value of --never-download. At which point, it might be worth just removing it and getting it over with. That would break scripts that set it, though, including at least one of mine, so I'm more reluctant to do that.