[slime-devel] Patch: show the current debug level in the REPL