Manpages of libchipcard-dev in Debian buster-backports