On Mon, 11 Apr 2005, Sebastian Pop wrote: > This line is too long. I think that even for the .texi files we have > the 80 column limit. Yes, please. (Better something like 77 or so.) Gerald