I will update dealbench tomorrow (Friday). Please be ready for update in 
terms of scanning, list of docs, indices, etc. Thanks.

Jin