If you edit same post, then we(alteast non-staff) won't know whether a dotted line appear when you edit after 5 minutes. Let me try with this post.

Edit : Verified the grace period isn't 5 minutes.

Edit : Verified the grace period is around 10 minutes.

   -MZ