font.system.whitelist value typo?

On windows (haven't checked Mac or Linux yet) the font.system.whitelist contains

..., Microsoft JhengHei, Microsoft JengHei UI, ...

In looking at some font lists used for enumeration, I don't see the second font spelt this way - e.g Arthur's ordered list at https://github.com/arthuredelstein/tordemos/blob/gh-pages/fontList.txt#L477 . Even a google search for the one used in the whitelist corrects itself to Showing results for Microsoft JhengHei UI

Just checking in with the font experts to see if this is a typo

• JengHei UI <- used in whitelist
• JhengHei UI <- used everywhere else I looked so far