Re: [slime-devel] slime-beginning-of-defun doesn't push point