I just wanted to try gzip http compression and downloaded the current build BaseX93-20191116. The option is not there anymore. What happened?

Best regards

Omar Siam