Manpages of libui-gxmlcpp-dev in Debian testing