>> I tend to think that any sort of package should be available for >> upgrade. > > If they are, I won't be able to put into package-directory-list the git checkouts of the packages I develop. If we change external and built-in packages to be automatically upgraded by default, we can always add yet another directory variable for packages that are not to be upgraded.