i'm annoyed that the top bar on the repo index links to a specific repo. why would they design it that way, just let me have a separate theme for the index rather than make me inherit it from a repo