That font is called euro because it does not have the Asian ideographs and is cheaper to load. Use unicode.8.font if you want them; I have set font=unicode.9.font since the beginning.
The real question is what the default font should be; I leave that decision to others. -rob
