Related, I have written about the formatting of the TZ database and other representations before: https://gitlab.com/libtime/documentation/-/wikis/Timezones