On Wed, 24 Apr 2019 07:55:17 +1000 (AEST), "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote: > > The attached diff adds the proposed new option. I welcome opinions > about its name. The rest of the diff is boring. How about a generic name like --warn-suspicious-recursion? Peter