[checkmk-commits] 4017 New option to hide WATO folders when the user has insufficent permissions