give 'Tools Configuration' its own preference page
Operating System: All
Description of the feature
move: Interface -> Toolbox -> Tools Configuration
to: Interface -> Tools Configuration
Use cases
its a large GUI for that one feature, and it's getting squashed with Toolbox options. especially with !1251 (closed)