OK I pushed a change to also skip AllTokenStream if positions aren't indexed; I think this is otherwise ready.