Man pages matching name debcheckout.de in section 1: