Both bootstrap and buildout should fall back to the mirrors should the main server not be available!

Being able to change the index in a global config file is not really that useful, since the buildout might run automated (CI for example) and there's noone to switch the index from pypi to a mirror then.