That's correct. Whether or not you use the 8 key or the 7 key to jump to Bookmarks will depend on whether you've enabled the Quit menu item in config.ini. Thanks for catching that one.

I actually don't have anything to execute at the shell right now in my current player version, perhaps I should turn off that menu item.