After updating 3/15, kde menus have a strange new problem. It seems I can select "Edit K Menu", but the result doesn't match what I actually get from the K menu on the panel. Any clues?