It is known that commentators won't be modified when a post is edited. As a result, comments with the words "@user Code fixed. See updated post" or similar are very common, and sometimes they may add clutter to the post.
I therefore propose a feature: when a user edits his own post, an additional entry field is to appear under the post, similar to the "Tags" field when you ask a new question. The user can then choose commentator(s) to notify. After the edit is made the chosen commentator(s) will then receive a notification.
This will reduce the work needed to be done to notify a commentator of an edit, and will also reduce the number of obsolete comments, without the need of additional moderation work.