Richard Heck wrote: > It's not that I don't agree. But we chop lines in weird ways in other > places to try to stay below the 80-character limit. I was assuming this > issue was for the same reason. Perhaps not.
no, these are intentional eolns so that tex output is readable by human eyes. pavel