Re: [armedbear] #443: ENCODE-UNIVERSAL-TIME effectively ignores TIME-ZONE argument