[slime-devel] New keybindings for documentation commands