for the latter, use https://sourcegraph.com