bsarsgard
commented
1 year ago - disable gzip compression on web export, as this results in HTTPRequest returning an empty body due to a failure in decompression
- also check for "Web" in OS.get_name() ("HTML5" appears to be an old value)