It's a Christmas miracle: a github issue I filed in September 2014 just got closed as fixed.

@foone is it ractually fixed?

@foone actually fixed, or just closed as fixed?

@dee says my bug is fixed in the latest beta

@foone what was the bug

@gewt my android SSH client was ignoring keystrokes when my keyboard first opened, and I had to close and reopen it to type