Extensions

Extension records include title, alias, extension name, extension type, summary, icon, ordering, and published state. They are used as the top-level groups in the public docs sidebar.