[checkmk-commits] [tribe29/checkmk] 847326: Clean up HTML-related naming a bit, part 2.