the documentation rightly points out that I can change the timezone in /etc/icinga/web/conf.d/translation.xml, but what are the valid values for timezone?
GMT (Greenwich Mean Time) is the default, EST (Eastern Standard Time) seems to work, but what I really want is EDT (Eastern Daylight Time), which is EST, but with daylight savings time awareness.