Man pages matching name pinball-config in section 6:

pinball-config.6.en	debian 10 / pinball-dev
pinball-config.6.en	debian 11 / pinball-dev
pinball-config.6.en	debian 12 / pinball-dev