Could someone give me a pointer about the etiquette concerning comments that become "stale"?
If I add a comment pointing out a simple error in an answer, and that answer is subsequently edited to remove the error, it makes the comment look a bit spurious. So my question is this: should I then delete my comment, or is it considered better to just leave it there, even though it is no longer really relevant?