[quote=@BrokenWashing]
Just out of interest. If I edit a post to include a mention, does the user still receive a notification?
[/quote]

Mentions made in an edit do not notify them.