If anyone is looking for an external keyboard for the Nexus 10 I just got a Logitech K400.
I had seen a year old thread (4.3?) that said you'd need a different kernel but it could be made to work. However it works with the KOT49H
This is NOT a bluetooth keyboard - at least it is not recognized as a bluetooth device. You need to use the included unifying adapter and an OTG cable!
But with this setup everything works remarkably well. Specifically this is a 14" keyboard that you can actually type on - for real. The trackpad works flawlessly, complete with multitouch scrolling.
All the dedicated keys work also! Not the function keys that have no equivalent in Android. But Home, play, lock, power on/off, volume, search etc.
This is a very cool device well worth the $25 Amazon charged for it. It is now practical to actually use AIDE.