I want to use [Sourcegraph](https://sourcegraph.com) for pulpito code search, browsing, and usage examples. Can an admin enable Sourcegraph for this repository? Just go to https://sourcegraph.com/github.com/ceph/pulpito. (It should only take 30 seconds.) Thank you!