Deprecate the `strike` HTML tag and introduce the `s` tag as a possible replacement.