Little Paul - 2010-12-05

This seems to be a double-byte character encoding problem. We may be able to fix it with mb_convert_encoding() but that requires that php was built with the multibyte extensions enabled.

Note that this will probably mean that multibyte characters elsewhere (eg in header fields) are also broken in odd ways.