Looks like tex formatting, they want each line to be the same width, so the badness value for hyphens must have been less than just using bigger spaces, which they also did
Have you never read a single thing of print media ever? Books, newspapers, and magazines have been hyphenating words to keep uniform blocks of text for over 5 centuries