On 09/17/2015 10:24 AM, Richard Earnshaw wrote: [ snip ] > > No, I'm not going to do that work; and personally, I don't think it's > worth holding up the switch to wait for that to be done. Agreed. Jeff