Man pages matching name kdemangen.pl in section 1:

kdemangen.pl.1.en

debian 10 / kdesdk-scripts