Prefer 
 to deprecated <strike> tag in basicstyles plugin.
Changed tag strike -> s in editor samples.
Changelog entry.
Merge branch 't/9796' into major