I’m thinking that new phone setting app would be perfect for something like this. It already has similar feature with setting the size per app - why not keyboard layout as well?
And just ot be clear, that terminal keyboard is US-layout for the rest of us. I’d like to have the additional terminal keys along with my language keyboard, not as a separate keyboard.