Question about local lean/lean-cli:

I have SPX index option data from algoseek that I want to use with the lean-cli. I'm reviewing the readme included in the data file and it looks like I may have to modify the structure and filenames of the algoseek data.Before I do that I wanted to confirm that my understanding is correct that: