Now that base-config has been removed, are there any plans for packaging apt-setup separately? I think that it is a valuable tool to have available post-install, especially for less experienced users who want to switch mirrors or setup a proxy. stew