@cybersphinx I agree with you, here.
Unfortunately, I'm rather sure few people will notice the log message. Fewer will understand, and even fewer will actually do it.

Why don't you delete the file anyway? It's useless and coming from another computer anyway, right?