On 1 March 2018 at 16:27, Rafael Avila de Espindola <rafael.espindola at gmail.com> wrote: > > Please open a bug about it. PR36563. I was going to submit a naive patch (changing this handful of options), but option parsing would probably benefit from a more comprehensive review / change.