@0xabad1dea @Gankra @munin That version of search has already hit general availability (github.blog/news-insights/prod), it sadly still chokes on large repos but is definitely an upgrade over the version it replaced.