To add headerLinks, code is
headerLinks: [ { doc: "introduction", label: "Docs" }, { doc: "faq", label: "FAQ"