Do less when importing TruthDerivationToolsConfig
Small followup on !55202 (merged) to avoid any complicated logic on module import. Will close this if @jchapman has a better idea.
Small followup on !55202 (merged) to avoid any complicated logic on module import. Will close this if @jchapman has a better idea.