Not sure we if we really want to change the variable name (mainly for backwards compat, especially with 3rd-party plugins; otherwise I'd agree with you that the current name isn't great ;)) ;).

Good idea to clean this up, though, thanks!

backwards compat, especially with 3rd-party plugins

They would get the main (letters) layer of the keyboard instead of the numeric (symbol) layer, that's it, not a big issue I believe.

Just updated a minute ago, but still have issue #11990, so I suppose I still got a nightly from before the update. Will try again tomorrow.

Yup, the merge came juuuust after the nightly build (~6AM GMT) ;).

Hmm.. I just now checked, and got "KOReader is up to date" - but the keyboard issue persists.

It missed the deadline for the nightly, try tomorrow.