I think on closer reading, there is a distinct difference. The <del> tag is specifically a ‘reviewing’ tag, which means it is a tag that along with <ins> is for addition and subtraction of a content under review. This is much different than <s> which is for marking strikethrough of text, (rather than striking out), and thus is for public consumption. Refer to Reviewing Markups for more information.