We are planning to store several user files in the cc3100 flash file system, and we are also expecting that they may be updated several times over the life of the device. In the event these files grow over time, is it important to create them with an expected maximum size, or can we keep recreating them with increasing size without having to worry about flash memory fragmentation?