[tz] Non-ASCII outside comments?

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? If they are permitted, should zic warn about them? --ado