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