The surprising whimsy of the Time Zone Database