[slime-devel] propose change to `slime-handle-repl-shortcut'