Print warnings for translated names which only differ in case which translate different English procedures.
I recently discovered that German translates `pennormal' as `normalstift' and `penpaint' as `Normalstift' and wanted to find/prevent other problems of this class.
