On Thu, Jan 25, 2024 at 12:40:07PM -0500, Richard Kimberly Heck wrote: > >That does make me wonder whether there are other versions of this >problem. Are there other cases where we generate files in this way? I think we will discover that very quickly ;) -- Enrico