I know it’s probably too late to add this feature but I think a lot of users like me that relied on RIF and others would like to delete their history so it doesn’t add to Reddit’s content (not that I added much, but in principle).
I know there are other ways and I’ll try to find one but for a lot of people it would be easier to just do it through the app before it’s gone.
Make sense. Deleting a post probably just toggles a ‘deleted’ flag in the database and doesn’t touch the post contents. Writing over the comment, however, would actually change the data. Then you can proceed to delete it.