We should just remove this instead of commenting it out. If we need it back, we can use git.