Close sourcegraph-nav-to-examples