On Sat, Sep 30, 2017 at 12:10 AM, Peter Stephenson wrote: > > I've no personal objection to reducing it to 500 by default (and I'll > probably add a variable anyway), but I'd like to know if anyone has > strong feelings --- given this is a bit of a kludge anyway and this is > based on a sample of one. > Agreed. -Nico