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