There is also a diffed single page HTMLs at github [0], (11 MiB download; quite surprised my Firefox managed to render it).
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].
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...