Re: how to disable `edebug-defun'