At the moment theme settings are in 2 different places.
In General Settings we have:
And In Terminal settings we have Theme category:
Why not have everything theme-related in Theme category?
Also Theme integration
setting is a bit confusing imo.
Maybe description should be more clear.