better handling of URI to file name for corrected text. New version of indexer. Preserves corrected text. Also works internall on JSON instead of XML.