Oh awesome!  Apologies, I missed that as I didn’t think to look under the ‘Code Editor’ section in settings for it, as I’d only been irked by it when using SSH!  Thanks though, that’s great!

I second this!
As an iPad Pro user, 99.999% of the time with the Smart Keyboard, I would really like the ability to hide the keyboard-related elements that pop up at the bottom of the screen.  Especially when SSH’ing.  I can see why those might be useful otherwise, but they’re MASSIVE when you are using a keyboard for input anyway!