DERBY-6379 Manuals are inconsistent in their use of the <shortdesc> element Modified 52 Tuning Guide topics. Patch: DERBY-6379-tun-opt-stats.diff