Disk space (at least at the megabyte level) is cheap. Go with 10MB — it’s cheap insurance for the future.
my $0.02 worth... Rick > On Sep 27, 2017, at 7:46 AM, John Paul Adrian Glaubitz > <glaub...@physik.fu-berlin.de> wrote: > > Any suggestions for the new size? 8 MiB? 10 MiB?
