Re: [basex-talk] Request for UPDINDEX option setting via BaseX GUI