Manpages of gnome-panel-control in Debian wheezy-backports