Tweaking the document change handling (no position-to-index???).