As you said, it's not necessary to remove it, but it should have a comment attached to it, explaining why it's there.
So that people don't have to look it up.