arti-client: `TorClientConfig` doesn't always document which options are reconfigurable

TorClient::reconfigure says:

Although most options are reconfigurable, there are some whose values can't be changed on an a running TorClient. Those options (or their sections) are explicitly documented not to be changeable.

But I don't actually see any documentation that states whether options are changeable.

My understanding is that TorClient::reconfigure_inner is what updates a TorClient using a new TorClientConfig, but there many options in TorClientConfig that are not used. For example:

• tor_network
• download_schedule
• directory_tolerance
• override_net_params
• channel
• etc

None of these options are "explicitly documented not to be changeable".

Are these updated in some other way? Or is this just missing documentation?

Edit: nickm points out below that the options listed above are explicitly handled (and some of them explicit ignored).

But there is still an issue where some options are correctly explicitly ignored, but aren't documented as being "non-reconfigurable", or are documented as being "non-reconfigurable" but only on a non-user-facing API.