On Fri, 2004-08-27 at 10:02, Richard Kenner wrote: > I like that idea. I, too, find the dumps very large often. > Perhaps we could make that the default then. I doubt the added processing will slow things down too much relative to generating the dump itself. Diego.