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