The development section for the appicatsions menu isn't appearing, despite there not being any custom menu files in ~/.config/menus or any manual changes made with kmenuedit. The applications.menu and kde4-applications.menu in /etc/xdg/menus has in fact several directory categories (such as Development-more, kde-development), one of them points to a Development.directory file, which I can't locate in my system. Is that the reason why no Development category appears in the applications menu, or is there another problem here that I don't know about yet?