we could, but honestly gzip doesn't care. It might save a little in-memory, but the amount saved is not even going to show up in a profiler compared to loading even a single image on the page, so I don't think it's a good idea to start optimizing for that and sacrifice human readability of the source.