Sync from https://github.com/felladrin/MiniSearch 6c3af4e github-actions[bot] commited on 11 days ago
