Man pages matching name run_tipp_tool.py in section 1:

run_tipp_tool.py.1.en

debian 11 / sepp