Re: bug report: ENCODE-UNIVERSAL-TIME effectively ignores TIME-ZONE argument