This document shows you how to add your own links to the header of the document! Example of how the links above are generated:
otherLinks: [{ key: "Repo", value: "We are on Github", href: "https://github.com/darobin/respec", class: "some cssclasses" }, { key: "Bug tracker", href: "https://github.com/darobin/respec/issues?state=open" }, { key: "No linking", value: "I don't hyperlink." }, { key: "Previous Editors", data: [{ value: "John Smith", href: "http://example.com" }, { value: "Adam Smith" }, { value: "Foobar Smith" } ] } ]