Man pages matching name chipcard-config in section 1:

chipcard-config.1.en

debian 10 / libchipcard-dev