[DavideNL]

Note that Shreddit first edits the comment, then deletes it.

So the question would be, if Reddit also stores comment edit history.