use `<s>` over `<del>` for strikethroughs

Hello, While <s> and <del> are very similar, they are not quite the same. And using <del> all the time for strikethrough text may not always make sense. I was wondering if I added a config option to allow us to specify which HTML tag to use for strikethroughs, would that PR be welcomed and merged in a timely manner?