Re: [galaxy-dev] disk space for local galaxy