For a related example, type "11:00 EST to UTC" into Google and DuckDuckGo. Google says 15:00 because it interprets "EST" colloquially as "the current time on east coast US". DuckDuckGo says 16:00 because it interprets EST literally as "the time on east coast when it isn't daylight savings time" (compared to ET or EDT). It isn't clear which behavior is more desirable.