Nice work! 
There is this article about gzipping files before upload, but it uses gulp, which to my mind isnât has compact and portable as using gzip /w python. On the other hand, it can do a lot more than just gzip, but I donât think âminifyingâ the code first would make it much, if any, smaller when gzippedâŚ