[tor-bugs] #33398 [Core Tor/Tor]: Remove documentation for `--dump-config non-builtin` and deprecate it

[Tor Bug Tracker & Wiki]

#33398: Remove documentation for `--dump-config non-builtin` and deprecate it
------------------------------+--------------------------------
     Reporter:  nickm         |      Owner:  nickm
         Type:  task          |     Status:  assigned
     Priority:  Medium        |  Milestone:  Tor: 0.4.3.x-final
    Component:  Core Tor/Tor  |    Version:
     Severity:  Normal        |   Keywords:  043-can
Actual Points:                |  Parent ID:
       Points:                |   Reviewer:
      Sponsor:                |
------------------------------+--------------------------------
 As teor finds in #32467, it is apparently just the same as "short".

 I should confirm that, and act accordingly.

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/33398>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online