[tz] Pedantic correction to Theory regarding size of time zone names

[Guy Harris]

On Jul 15, 2017, at 6:02 PM, Howard Hinnant <howard.hinnant at gmail.com> wrote:

> I recommend simply changing the 14 to 17.

Unless there's somebody out there 1) to whom the TZDB is important and 2) who's still using a UN*X with the old V7 file system.  (1981 called, they want their UNIX file name limitations back.)

But, if the only reason for the 14-character limit is to support this on file systems with the old 14-character file name limit, there's no reason to just go to 17 - we should pick an appropriate limit.