Sync from https://github.com/felladrin/MiniSearch f31a721 Running github-actions[bot] commited on 3 days ago
