On Monday 07 December 2009, Stefano Zacchiroli wrote: > IME, bugging the doc-base maintainer with well-motivated requests > for specific sections works quite well, have you tried that? > I was not sure about the procedure. I have filed a bug on doc-base now. Cheers, Stefan