Hey @User When I set

header: None

i get the error

DataSetError: Failed while loading data from data set CSVDataSet(filepath=DATASET.txt, load_args={'delimiter':  \+\+\+\$\+\+\+ , 'encoding': unicode_escape, 'header': None}, protocol=file, save_args={'index': False}).
header must be integer or list of integers

I figure its because the dataset loader doesn't coerce None into None object (I could be wrong though)