Nairobi time zone fails in 7.4

Hi,

In 7.3 I was able to do:
ALTER DATABASE babase SET "TimeZone" TO 'Nairobi';
a nice Posix TZ value (FYI UTC+3 w. no daylight savings time).

In 7.4 this no longer works. I see some UTC+3 time zones
in the 7.4 docs, but how am I to know that they correspond
to Kenyan time, especially with respect to daylight
savings and other goofyness? What's the right thing to do?

Thanks.

Karl <kop(at)meme(dot)com>
Free Software: "You don't pay back, you pay forward."
-- Robert A. Heinlein