Docs: Use non-default throughout the documentation

  • Jump to comment-1
    David G. Johnston<david.g.johnston@gmail.com>
    Jan 28, 2026, 11:49 PM UTC
    Hackers,
    Ended up looking at "non-default" and found four spellings of "nondefault"
    in the user-facing documentation (vs. 40ish non-default). Patch attached to
    fix the 4.
    David J.