> I haven't seen any mail from it. I will try to dig in to it today, or > maybe you can. Possibly we should just move this readthedocs.org; maintaining our own cron foo doesn't seem like the most valuable use of time. (Obviously that can fail too, but perhaps less so.) -- Martin