Now Dump uses pretty-printing with tab characters.
It also is a bit more generous on the newlines, with a overall
readability improvement, since KV files are very prone to manual
modification.