Menu system moved to external extension 'ext-menu'