If we don't need it, remove it. git is there for retrieving old stuff, no need to keep it commented out.