Prompted by the introduction of non-ASCII into comments, I checked how zic handles a...
Zone America/San_José
...line and discovered that, at least on the test system, it seems to do a right thing.
Should zic permit non-ASCII characters in zone names? In time zone abbreviations?