Is there a document somewhere that summaries the proposed changes from HTML 5 to 5.1?
[1] https://w3c.github.io/test-results/html51/implementation-rep...
[1]: https://www.w3.org/TR/2016/REC-html51-20161101/changes.html#...
Then I would probably prefer to use <blink> and <marquee>.
What I've found interesting is that markup for insertions and deletions in this file is ("non-semantic") `<span class="delete">..</span><span class="insert">..</span>`, instead of presumably more semantically appropriate `<del>..</del><ins>..</ins>` [1].
[0] https://github.com/w3c/html/blob/master/diff/html5to51diff.h... [1] https://www.w3.org/TR/2016/REC-html51-20161101/edits.html#el...