Re: [basex-talk] Export gzipped XML files