I disagree. I do not see any reason why this file should be deleted. There does not appear to have been any rules broken. At worst, it could be locked.