Fixed heading types in hgroup (MN and DN were already okay)
Marginally improved (I hope) presentation of divy, it needs real editing,
but in the absence of that I've turned the line markers into actual
linebreaks and put stuff into containing paragraph elements.
Of course there should be far more many paragraphs but that is the work
of an editor.
Automatically updated files with author metadata.