Man pages matching name sympa-check in section 1:

sympa-check.1.en

debian 12 / sympa