>> PPS: I see that we have a file `.dir-locals.el` in the git
>> repository; doesn't its contents contradict our tabs policy?
>
> No, it implements it.
Ah, ok. Thanks for the explanation.
> Yes, does not read well to human readers. Maybe one should tack on
> the redundant . nil here, but I think this was written automatically
> in its first draft.
Yes, I would like have this tiny bit of redundancy.
>> The texinfo column length of 66 chars only seems also too low
>> (should be 78 IMHO).
>
> • Lines should be less than 72 characters long. (We personally
> recommend writing with 66-char lines, but do not bother
> modifying existing material). Also see the recommendations for
> fixed-width fonts in the *note Syntax survey::.
Thanks, too. Shortly after sending the e-mail I remembered the
fixed-width line length limit in texinfo @example environments as the
reason for recommending 66-char lines.
Werner
