Re: [armedbear-devel] Improvements to our Gray streams implementation