Re: [basex-talk] How to serialize HTML as text