Re: [basex-talk] Change default XML encoding