(The original comment here is obsolete. The delete function says
“Deleted stories are gone forever. Are you sure?”
I know that Medium calls comments “stories”,
but the interface leaves a little ambiguity as to whether
I would be deleting this comment, or the main story.
It was enough to make me nervous.)