Hackers,
Ended up looking at "non-default" and found four spellings of "nondefault"in the user-facing documentation (vs. 40ish non-default). Patch attached tofix the 4.
David J.