Re: [basex-talk] Basex Docker Container: How to Control Options