re: #168 Charles

OK, general consensus is shorter edit time.

Perhaps also a marker to show a comment has been edited, just a * or some other tag.