What I’d really like to see added to HTML are tags.