fonts

A font splitter put the letters i and j in a different file from the rest of the alphabet. Text layout got slower. Here’s why, and…