Manpages of src:openbox in Debian testing