One more thing. We shouldn't assume that iana.org as a utility that billions of devices can blithely access for time zone data. If you're building an IoT application for low-end devices, please arrange to have your downstream servers serve up time zone data. And if you do that, you can use any compression format you like.