Re: Do we need gnus-yes-or-no-p and gnus-y-or-n-p?