We should stop creating functions in `keyboard.js` -- could this moved to `IMERender.highlightkey()` instead?