[texhax] Line width and 66 characters per line

[Karl Berry]

Code is a different case altogether than text.  Personally, I find that
79 chars is a highly desirable maximum line length for any kind of
source file -- Doug to the contrary :).  Not for any reason having to do
with printing, but (primarily) for mental effort of reading and
understanding while looking at the source.

Anyway,
k