Manpages of davix-dev in Debian testing