@jcl,

Thanks!

For combining/merging History files, is there a helper script I've missed?

Thanks.