>> Well, we have to make a compromise. The PDF document has a small >> line width, and you can't scroll horizontally... > > Then you just have to wrap the line.
I'm Mr. Wrap-Line, as can be seen by many of my commits. If I think
that wrapping is suboptimal and reduces legibility I hope you have
some trust in my decision...
Werner
