On Monday January 19 2015 20:20:06 Chris Jones wrote: > Nope. Saving disk space when not required is always a good idea. Just to be clear: I do agree with this, and practice it myself. One of the reasons MacPorts is not installed on my boot partition. (heck, I'm old and pedantic enough to care about free space fragmentation ...) R