> 0xe0 in iso-8859-1[5] but 0xc3 0xa0 in UTF-8. And 0xa0 might be mapped > to 0x20 by some of the charset conversion routines that 0.92.X had, or > might trigger Am I reading this wrong? Is yyinput() doing unconditional "charset conversion"?