as in &#252; ? I'm not fussed - Web browsers understand both. Do you prefer this encoding?