Use Unicode notation (U+XXXX) instead of HTML notation (&#xXXXX;) in comments