FasterLogSettings.LogCommitFile seems to be no longer used.

[itn3000]

Currently, FasterLogSettings.LogCommitFile is described in document as below(from FasterLog's github.io):

The file used to store log commit info, defaults to the log file name with a ‘.commit’ suffix. 
This is just a shortcut to setting LogCommitManager to new LocalLogCommitManager(LogCommitFile).

But actually, LogCommitFile is not used in new DeviceLogCommitCheckpointManager implementation ,
and user cannot set oldCommitManager = true. (see:

FASTER/cs/src/core/Index/FasterLog/FasterLog.cs

Lines 137 to 150 in a31b52b

	if (oldCommitManager)
	{
	logCommitManager = logSettings.LogCommitManager ??
	new LocalLogCommitManager(logSettings.LogCommitFile ??
	logSettings.LogDevice.FileName + ".commit");
	}
	else
	{
	logCommitManager = logSettings.LogCommitManager ??
	new DeviceLogCommitCheckpointManager
	(new LocalStorageNamedDeviceFactory(),
	new DefaultCheckpointNamingScheme(
	new FileInfo(logSettings.LogDevice.FileName).Directory.FullName));
	}

)

So I think FasterLogSettings.LogCommitFile should be added Obsolete attribute or change FasterLog implementation.