add ins,del,mark to list of known HTML5 tags