Re: [basex-talk] REST API performance, massive disk IO