Re: [armedbear-devel] Double printing of the prompt