This turns the output in #245 from 32MB -> 26MB uncompressed (although almost neglible gain when gzipped, of course).