faiss
faiss copied to clipboard
Support `remove_ids` for `IndexRefine`
See title. The removal should take place on the two indices.
While we are there, check the behavior of filtered search.
related: #3820