export default {
  introduction: 'Introduction',
  'agent-plugins': 'Agent Plugins v1',
  'getting-started-extensions': {
    display: 'hidden',
  },
  'extension-releasing': {
    display: 'hidden',
  },
};