Hi guys, I had a need to know how many deleted documents are in the index. I noticed there isn't an API for it in IndexReader, however the information can be obtained by calling IndexReader.maxDoc() - IndexReader.numDocs(). Do you think it's worth adding such an API to IndexReader?
Cheers, Shai
