Thank you for this feedback, Laura.
Is the hdt index you got available somewhere on the cloud?
Unfortunately it's not. It was a private link that was temporarily shared with me by
email. I guess I could re-upload the file somewhere else myself, but my uplink is really
slow (1Mbps).