Manpages of gnome-panel in Debian unstable