So let's just note Mastodon added post edits before Twitter did.