I think edit history is enough. It’s important that changes are recorded, to avoid “backtracking” or malicious editing (on an old forum, I once saw a prolific and useful poster edit all of their thousands of posts to whitespace after a dramatic flounce. There was nothing the admins could do), but I don’t think it;s worth notifying the topic at large.
1 Like