Man pages matching name run_tipp.py in section 1:

run_tipp.py.1.en

debian 11 / sepp