I realized later that this file was just moved. So I'll try not to be too picky about its content! Up to you whether you think this worth changing. There is some advantage (for managing change history) in NOT making more changes than you can help in the same checkin that moves a file.