Major Section: CUSTOM-KEYWORD-HINTS
Examples: (show-custom-keyword-hint-expansion t) (show-custom-keyword-hint-expansion nil)
General Form: (show-custom-keyword-hint-expansion flg)
If the value of flg is non-nil, then when custom keyword hints are
  expanded, the system prints the results of each expansion.  This is sometimes
  useful for debugging custom keyword hints and, from time to time, may be
  useful in understanding how a custom hint affects some proof attempt.
The default setting is nil.
For an explanation of how custom keyword hints are processed, see custom-keyword-hints.
 
 