Re: [basex-talk] REST "directory" listing