Just delete the lines.  No reason to leave the commented.  We can see the changes in git history.