So I notice that there seems to be a "retract" button but no "delete" button, so I'm wondering if clicking the "retract" button deletes a comment, strikes it out, or what.
Ooh, interesting. It strikes the comment out and offers the ability to delete it.
If it's worth saying, but not worth its own post (even in Discussion), then it goes here.