That makes perfect sense, thanks for the explanation.
We host repo locally due to some proxy issues (.....), so for our use-
case, I might look at a patch to go ahead and check repo if the
repository is using the same host as the manifest. Does that sound
feasible/reasonable?
Of course, I guess it isn't that big of a deal if the users have to
use selfupdate to get the latest version a few hours earlier.