Patch for bug 233295: document terminology customization feature; patch by Jon Wilmoth <jwilmoth@starbucks.com> slightly updated by me.