tiny keyboard change, and gl.xml updates from khronos