Two very minor fixes for Greenplum:
1. If html help is available (GPDB 3.3.0 and later), prefer it to the .PDF help.2. If we can't find local GPDB help, go to Greenplum web site for it.