Re: [basex-talk] Should xml-to-json ignore a "key" attribute of a "map" root element?