5137cee3d6
As gnome-shell now switched to use the menu file from gnome-menus, we no longer have direct control over category names. If such a name contains unescaped markup, the shell will crash when trying to create the filter label, so make sure to escape markup in category names.