On 18 October 2013 09:56, Terry Reedy <tjreedy at udel.edu> wrote: > I believe once every 24 hours. The current page is dated Oct 17 (at bottom). > It is now Oct 18 most everywhere. Thanks, I didn't know there was a generated date at the bottom. Useful to know for the future! I'll wait for the update, cheers. Paul