Add titles to HTML tags in settings

First go for #1803.