On 08/03/2012 04:28 AM, Dirkjan Ochtman wrote: > Maybe you can poll the unofficial Github repo I wouldn't rely on the unofficial repo for information about which releases are official. That repo is more likely to contain errors, not only about the time data itself, but also about release information.