Re: [basex-talk] retrieving the name of the archive?