I wrote :
> > BTW, there is a small mistake: gnome-user-guide is in Debian.
>
> Thanks, I added it to the manual overrides (since its debian source
> package is named gnome2-user-docs, not gnome-user-docs).
Mistaken on this, I looked at stable. Fixed now.
Frederic