I did reboot. And yes, my interface language is Dutch. But before adding the other fonts, these two didn't show up under these names; probably they showed up under the names you mention. (I didn't make a screenshot and don't remember exactly.)
I could do without them, actually, but I guess there's no way to get them out of the menu. Oh well, no big problem.
|