Notify newly mentioned users when a post is edited

If this is the only method that `NotifyMentionedUsers` has, should we change the name of the module? It's just a thought, not a request. I'm open to either option.