3 ms·How does it compare with https://github.com/sourcegraph/zoekt https://github.com/sourcegraph/zoekt ?by esafak 7mo agoHow does it compare with https://github.com/sourcegraph/zoekt https://github.com/sourcegraph/zoekt ?