html: report unknown/unrecognized html elements