Re: Patch for comint.el ???