The motivation is that I'm having GitHub App integration enabled for the whole org.
But I want to prevent bot spamming with config reminders to irrelevant repos. Like a repo with gh-pages hosted static website.

Using #8 I found that if you click in the main top-left-title link you go to /default-language/default-version. I think this is because of the pathto being overriden.

Although, we should find a way to make only that link points to the top level of the current version.