Manpages of libcoin80-dev in Debian testing