[wp-hackers] <del> vs <span style="text-decoration:line-through">

[John Blackbourn]

I've just noticed that the Strikethrough button in TinyMCE doesn't use
the <del> tag as one might expect. It instead uses <span
style="text-decoration:line-through">. However, when using HTML mode
in the editor, a <del> tag is used, complete with a datetime
attribute.

Surely the <del> tag is the more semantic option? Any opinions?

Not sure if this is WP-specific or a TinyMCE thing, I've not looked
into the code yet.

John.