[checkmk-commits] [Checkmk/checkmk] 3158e9: Improve names of Robotmk banner hooks