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"
                  }
              ]
          }
        ]