I hope this is an appropriate place for bug reports!

When trying to use ctrl+tab to change tabs on the PocketCHIP, it doesn't seem to work, but shift+ctrl+tab works fine. I'm on 0.1.11G - using the same version on PC the key combination works with both left and right ctrl

That's probably somehow caused by the fact that on pocketchip ctrl+tab is the key combo to switch programs (by default, anyway).