Re: [armedbear] #432: open http:// pathname doesn't follow redirects