On Mon, Nov 20, 2017, 9:02 AM Robert Pluim <rpluim@gmail.com> wrote:

>
> ObDamnTheTorpedoes: or rename them all, and create obsolete aliases
> using the old spelling?
>

I'd love that too, +1 for consistency.

> --

Kaushal Modi