Split off a Settings type from DynFlags