bug#30513: Unicode Character Name is misspelled (MATHEMATICAL ITALIC SMALL LAMDA)

[Eli Zaretskii]

> From: Noam Postavsky <npostavs@gmail.com>
> Date: Sun, 18 Feb 2018 10:54:21 -0500
> Cc: 30513@debbugs.gnu.org
> 
> +                (if (and (not old-name) new-name (string-match "LAMDA" 
> new-name))
> +                    (puthash (replace-match "LAMBDA" t t new-name) c names))

Won't this make ucs-names even larger and more redundant?