Re: [tz] Looking for a way to cut down binary zoneinfo size. Does anyone have the way to?

Android uses its own format, which is smaller; you might look into that. If memory serves, the default Android tzdata binary file doesn't worry about dates after 2038, which can save space if you know your devices cannot possibly be long-lived. There is an option to go past 2038, though, and I'd likely use that myself.