Change doc menu.  Add repo to index page.