Uncompress default-theme.svgz.
Zipping this file is really bad, as we lose all advantages of text based diffs.
Instead, we could compress it with our release script (TODO), and thus have both small size and diffability.