• Dumbkid@lemmy.dbzer0.com
      link
      fedilink
      English
      arrow-up
      10
      arrow-down
      1
      ·
      3 hours ago

      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

    • BakerBagel@midwest.social
      link
      fedilink
      arrow-up
      2
      arrow-down
      1
      ·
      2 hours ago

      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