Use ins/del elements instead of span with class

```
<span class="delete"> --> <del>
<span class="insert"> --> <ins>
```

If timestamps are known, maybe include them in the `title` attribute. (Unfortunately `datetime` wasn't allowed last time I raised this to HTML5.)