manual: Use Unicode instead HTML entities for characters (bug 19737)