Add comment about edebug-defun