Man pages matching name chdist.de in section 1: