On 2/28/2022 2:12 AM, Nicolas George wrote: > I do not think it is worth your effort: the cost of loading the file is > negligible compared to the rest of the operations. Maybe yes, maybe no; depends on the system and OS. It's still unnecessary file system overhead that could be avoided. z!