Mostly a reminder for myself: If a line is exactly 120 pixels long (i.e. the length of a manual line) and is followed by a linebreak (in the raw txt file), this linebreak will not be included in the line, so we first get a linebreak because we reached 120 pixels and then another one because the next token is a linebreak.