Normally we ask extensions to add menus within the extension and not in DefaultMenus right?