Currently index of a repository commit will be created automatically which may accumulate a large index on disk. We should have settings to control whether or not to create index, and which index (full text, symbol etc) to create.