Man pages matching name tipp.config in section 5:

tipp.config.5.en

debian 11 / sepp