On Thu, Aug 27, 2015 at 3:10 PM, Carl Meyer <carl@oddbird.net> wrote:
Guido and Tim don't provide code to parse "EST-05:00" to "US/Eastern",
but their solutions both rely on assuming that knowledge. Tim said so
explicitly: 'where you knew "EST" meant US/Eastern'

OK.  Add Tim's step #4 or Guido's step #5 to my solution.  Since those are the same, I did not feel compelled to show the same step for the third time.