Automatically close unclosed HTML tags.

Fixes an old problem with some unclosed <b> or <div> messing up
the layout of docs.

In addition to automatically closing the tags, a warning gets printed.