On 10/8/2017 12:58 AM, Ronald S. Bultje wrote: > I personally think the warning is dumb... But I guess that's just me. I agree; I don't even count it as a valid warning. Maybe disable it? That's only my opinion, of course. - Derek