On Sun, Jul 04, 2010 at 04:04:00PM +0200, Stefano Sabatini wrote: > > at the end of the document I see: > "This document was generated on 10 May 2010 using texi2html 1.56k." > > and indeed it looks like it hasn't been updated since a while. > > Who can fix it? I can fix it and I did. Thanks for the notification. Diego