<F6>: shortcut for switching to shell buffer