On Sun, Mar 13, 2011 at 10:07:48PM +0000, john lewis wrote:
> Hugo Mills <hugo@???> wrote:
> >    They're ASCII codes (actually, probably UTF-8, but since there's
> 
> I suspected they might be ascii codes but haven't yet looked for a
Dudes, get a grip. They're Unicode code points. Why would there be a character
encoding when they are already encoded? ☺
Dan