I noticed and edit made about 1 hour ago and left a comment about it, then I checked the user profile and it says last seen 15 hours ago.
Does "last seen" not include edits to others' posts?
Screen shot of side-by-side windows available in edit history.