I think let's drop this -- it's no longer the canonical place and the
comment seems a bit weird without the history available to provide context
(and if the history is available one probably doesn't need the comment).