Minor tweaks for shell
Add back-button mode for navigation the mark-ring