Gorgeous further simplifications of ga.do_key: it simply calls the callback, letting it decide what to do with the tab.
This is the way it is written in The Book.

Leo build: 20140820060754