[checkmk-commits] Better metric name typing.