My laptop's browser couldn't display ⟨ (from the phone, it looks like '<'). Could we just stick to ascii unless unicode is really needed? -- Duy
