[@NickTrano] As far as I'm aware, it doesn't tag the person if you add their mentions in post edits.

But yes, the edit button is a very wonderful thing.