[index] Change index for tei:idno from lucene to range #563

Open dariok opened 2 weeks ago