Manpages of libchipcard-tools in Debian testing