is there any need to leave these commented-out lines in the file?  They'll be in the git history anyway.