4 Suppose you have a
%very long comment which would extend far, far, far,
5 far beyond the maxlinelen.
6 That comment should obviously be split to the next line. Okay, fair enough. But what if that comment
% was so long - SO LONG - that even if you split it to the next line, it wouldn't fit under the maxlinelen?
7 % in that case, we should respect
8 % The user's desire to make ugly comments, and
11 \section*
{Indentation
}
12 \begin{foo
}\begin{bar
}
13 % Should comments be indented?