[checkmk-commits] [tribe29/checkmk] dacc84: more typing of UserIds and things around it