The default argument for

max_files

for formatting SD cards is 5; is that not a bit small? What exactly is the meaning of that value?

I think max_files is the maximum number of simultaneous open files. 5 seems quite reasonable

Ah, yes, that makes sense!

Maybe we should rename to max_open?

Makes sense

Yes, that would probably avoid some confusion!