[checkmk-commits] Check_MK Git: check_mk: check catalog: Is now more robust against damaged man pages