Manpages of openbox-gnome-session in Debian wheezy-backports