Remove now-irrelevant monstrous comment.