The strikethrough tool on the toolbar inserts a <del> tag by default. It looks like there may be support for inserting a <strike> tag or a <span style="text-decoration: line-through"> tag as well.
Are those other tags supported? If so, how can I change the default behavior to use one of those instead of the <del> tag.