rename shell-menu to shell manual