DERBY-5515.diff, DERBY-5515.stat, and DERBY-5515.zip, with changes to the following topics:
This patch makes the "About this guide" sections of most of the manuals provide consistent information about where to find more information. It somewhat rearranges the "Introduction to Derby" topic of Getting Started (in the equivalent position, as first topic in the manual) to provide the same information.
I decided to mention only the derby-users mailing list, since that is the one most likely to be relevant to readers of the documentation.
I will commit this patch in a day or so unless I hear otherwise.