We try to avoid non ASCII characters in the source code. Can we replace ¢Ø by \xD8 and \xA2 ?