Yes, that is a good one ??? Not sure myself. And I would agree about the file being .old and I personally have deleted ’ .old ’ files in the past without issues. Not advising, just sharing thoughts. :-\
And welcome to the forum