Abbreviated Time Zone not working

[mariano-daniel]

According to the timeButton instructions here, we should be able to see the three letter time zone by using zzz, though I only get the time offset, which led me to think the TZ was not known as per documentation below. However, if I use zzzz I can see "Eastern Standard Time`.
I tried a combination of zz, ZZ, ZZZ, Z, etc but I still cannot get the short TZ name. Anyone know how to it?

(I guess also the table below is wrong as zzzz is duplicated for different values).

Regards,