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).