Man pages matching name ketchup in section 1:

ketchup.1.en

debian 10 / ketchup