This fixes the encoding issue in
#9670,
though it uncovers a font selection issue (at least for me).