should this be global on IPython, or attached to the KeyboardManager? Or at least private (Python-style with `_` prefix)?