Should I physically copy everything from debian-0.93 to debian-1.0, or should I use symbolic links when possible to save disk space? I know it isn't a problem on ftp.debian.org, but it might create problems for the mirrors.