BTW, I did a build without patches in a pdf file, and the top header is
the name of the document title, not the copyright title.
'Getting Started with Derby' was on every page where the word Copyright
currently is. Of course some of the items that the patches fix, such as
table of contents links, title page etc, were broken compared to what is
the norm. Something takes the <title> and puts in in the header.
I think the title on top of the page might be a better idea(?)
scott