Mockup - see the top item.

I would love to be notified when a comment which I had interacted with has been edited. I have seen it mentioned by others a while back as well. My suggested implementation is a pretty minor UI change.

On https://tildes.net/notifications/unread there would be an additional listing type which begins with "Comment was edited on "

Any comment which the current user has replied to, or has upvoted, and has been edited would appear here.

I am experimenting with a simple survey below using comments, please upvote the one that best reflects your view. Of course, also feel free to discuss anything further in a normal comment, just trying to keep things organized.

I may be one of the least qualified people here to discuss this topic, but I find two reddit bots pretty useful:

https://www.reddit.com/user/autotldr

https://www.reddit.com/user/alternate-source-bot (this is my recent favorite)

What do you all think features like the two above being integrated into Tildes in some fashion, via bot or otherwise? Are there any other bot behaviors that you like which would have a good impact here, or are bots that produce comments the scourge of Reddit?

^{Sorry if this has been discussed before, if so let me know and I will delete this topic.}