Markup of text files has made use both of formal docTitle tags and of head tags inside divs to represent titles; this may or may not be consistent (it will depend really on the type of document that's being marked up), but there was some concern that documents using head instead of docTitle were not having their titles rendered.
Checked this out with the newly-edited XML files, and it seems that both types of markup are working; where there is a docTitle tag, it is rendered as a separate block at the beginning of the document, and where there are head tags in divs, these are rendered as headings in the main block of the document. This seems to me a reasonable state of affairs -- some documents have both docTitle and head elements, and it makes sense to separate them. Pending a review of encoding practices, which will lead to a set of formal guidelines, I would say that the current behaviour on the site is acceptable. If you think there should be changes, please comment in response to this.