repo-indexer

Build and maintain a fast navigation index of the repo.