I do clearly need to be doing a better job of checking that site for updates though, since it _does_ have "Africa/Tripoli" (albeit with a different Windows time zone), and std.datetime doesn't currently have it at all.