Man pages matching name praat-launch in section 1:

praat-launch.1.en

debian 13 / praat