I have requested that times be shown as “D d M Y, G:i T†, all of which except the last parameter are working fine. But, even though times are shown EST (well, except that a summer time adjustment would be nice), they are labelled “GMT†. Shurely shome mishtake?
Looks like a php bug to me. Tried it several ways round and does nothing else. The bit at the bottom shows the difference from GMT but not any others. I'm afraid this is a live-with-it, at least until Treacle comes home.