Is the same index file used for different projects? If yes, why (wouldn't it be more efficient to have one index per project)