Mon, 16 Jan 2017 11:35:30 -0600, CJ Carey kirjoitti:

> On Mon, Jan 16, 2017 at 3:01 AM, Ralf Gommers <ralf.gommers@gmail.com>
> wrote:
>
>> How about doing this around 1 January and 1 July every year?
>>
>>
> Those dates fall during times when many people are traveling or
> otherwise not responsive. What about phase-shifting 3 months to April
> 1st / October 1st?

Not that important, but now that we are optimizing this, I would push it
a bit forward to eg. Apr 20 and Oct 20 to avoid beginning of academic
semesters.