Docbook customization question: include various content on title-page