Just out of interest. If I edit a post to include a mention, does the user still receive a notification?