[basex-talk] Re: BaseX-12.1: HTML 5.0 serialization difference