Board Thread:General Discussion/@comment-33025440-20190615220438/@comment-34888194-20190615234133

Oh, that's the difference. However, I don't know why the changes don't include the highlight part of the difference, which they usually does when someone hit the space button before publishing their edit.