02/09/2022, 4:24 PM
my fear there is that a releaser has the file without realizing
I'm not sure I follow... The comment makes it seem like having the file might impact operations. So having it would be a mistake. Secondly, if the file already exists, then
won't change that.