[slime-devel] Keybindings (was: Feature: basic profiling interface)