{
    "version": "@VERSION@",
    "requires": {
	"cockpit": "122"
    },

    "tools": {
        "setroubleshoot": {
            "label": "SELinux Troubleshoot",
            "order": 8
        }
    }
}

{
    "version": "@VERSION@",
    "requires": {
	"cockpit": "122"
    },

    "tools": {
        "setroubleshoot": {
            "label": "SELinux",
            "order": 8
        }
    }
}

Rename to SELinux in the menu
selinux: Rename to SELinux in the menu

"SELinux Troubleshoot" is very long and the page also allows
changing the policy.

Fixes #5423
