All output files are now compressed with gzip.
This drastically reduces both storage and network usage.
I have included the S3 deployment script with this PR to make it clear how to deploy to S3 with this new setup.
I've also replaced the old python -m http.server with an axum server as the python webserver does not support gzip at all.
I could slightly improve compression by not compressing the png files but the win is so minor I dont think its worth the extra complexity.
All output files are now compressed with gzip. This drastically reduces both storage and network usage.
I have included the S3 deployment script with this PR to make it clear how to deploy to S3 with this new setup. I've also replaced the old
python -m http.serverwith an axum server as the python webserver does not support gzip at all.I could slightly improve compression by not compressing the png files but the win is so minor I dont think its worth the extra complexity.