. . "Unless saving space in the resulting file is a really big issue, it is better to save all the characters rather than just the characters you have used, though it does make a significant difference in the size of the saved file." . .