[checkmk-commits] Exclude check man pages from GUI crawl for now.